ax-ge-re - brismu bridi

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

Axiom ax-ge-re 49

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

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

This axiom is referenced by: ge-rei 53 ge-red 54 ge-ganai 57 cur 59 ga-dist-ge 182 ge-dist-ex 431