ax-go-trans - brismu bridi

	brismu bridi		< Previous Next > Nearby theorems
Mirrors > Home > Home > Th. List > ax-go-trans

Axiom ax-go-trans 99

Description: {go} is transitive.

**Hypotheses**
Ref	Expression
ax-go-trans.0	⊢ go broda gi brode
ax-go-trans.1	⊢ go brode gi brodi

**Assertion**
Ref	Expression
ax-go-trans	⊢ go broda gi brodi

This axiom is referenced by: go-syl 100