ax-ge-in - brismu bridi

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

Axiom ax-ge-in 45

Description: Introduction of {ge}. Curry of the I combinator.

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

This axiom is referenced by: ge-ini 50 ge-in-swap12 52 uncur 54 jca 55 ge-diag 122