ax-crane-trixe - brismu bridi

	brismu bridi		< Previous Next > Nearby theorems
Mirrors > Home > Home > Th. List > ax-crane-trixe

Axiom ax-crane-trixe 554

Description: Forward and backward are opposite.

**Assertion**
Ref	Expression
ax-crane-trixe	⊢ go ko'a crane ko'e ko'i gi ko'e trixe ko'a ko'i

This axiom is referenced by: (None)