ax-du-trans - brismu bridi

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

Axiom ax-du-trans 258

Description: A not-quite-transitive law of equality.

**Assertion**
Ref	Expression
ax-du-trans	⊢ ganai ko'a du ko'e gi ganai ko'a du ko'i gi ko'e du ko'i

This axiom is referenced by: du-sym-ganai 260