ax-gapru-cnita - brismu bridi

	brismu bridi		< Previous Next > Nearby theorems
Mirrors > Home > Home > Th. List > ax-gapru-cnita

Axiom ax-gapru-cnita 660

Description: Upward and downward are opposite.

**Assertion**
Ref	Expression
ax-gapru-cnita	⊢ go ko'a gapru ko'e ko'i gi ko'e cnita ko'a ko'i

This axiom is referenced by: (None)