df-pombo - brismu bridi

	brismu bridi		< Previous Next > Nearby theorems
Mirrors > Home > Home > Th. List > df-pombo

Definition df-pombo 560

Description: Definition of {pombo}, by analogy with df-pa-da 552. This is a slightly stronger claim than existential uniqueness; {pa da} asserts that something exists with the given property, but {pombo} goes further and witnesses the thing.

**Assertion**
Ref	Expression
df-pombo	⊢ go ko'a pombo ko'e gi ro da zo'u da ckaji ko'e gi'o du ko'a

This definition is referenced by: pomboi 561 pombori 562

W3C validator