ax-ge-le - brismu bridi

	brismu bridi		< Previous Next > Nearby theorems
Mirrors > Home > Home > Th. List > ax-ge-le

Axiom ax-ge-le 43

Description: Elimination of {ge} on the left. Curry of the left-hand projection.

**Assertion**
Ref	Expression
ax-ge-le	⊢ ganai ge broda gi brode gi broda

This axiom is referenced by: ge-lei 46 ge-led 47 cur 53 ge-idem 123 subeq-lem2 393 mapti-ckini 634