ax-ge-re - brismu bridi

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

Axiom ax-ge-re 44

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 48 ge-red 49 ge-ganai 51 cur 53