ax-ge-le - brismu bridi

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

Axiom ax-ge-le 48

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 51 ge-led 52 cur 59 weakard 64 ge-idem 145 ga-dist-ge 182 ge-lex 430 subeq-lem2 451 mapti-ckini 709