ax-berti-snanu - brismu bridi

	brismu bridi		< Previous Next > Nearby theorems
Mirrors > Home > Home > Th. List > ax-berti-snanu

Axiom ax-berti-snanu 546

Description: Northward and southward are opposite.

**Assertion**
Ref	Expression
ax-berti-snanu	⊢ go ko'a berti ko'e ko'i gi ko'e snanu ko'a ko'i

This axiom is referenced by: (None)