df-pombo - brismu bridi

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

Definition df-pombo 505

Description: Definition of {pombo}, by analogy with df-pa-da 497. This is a slightly stronger claim than existential uniqueness; {1 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 go da ckaji ko'e gi ko'a du da

This definition is referenced by: (None)

W3C validator