bpd - brismu bridi

	brismu bridi		< Previous Next > Nearby theorems
Mirrors > Home > Home > Th. List > bpd

Syntax Definition bpd 454

Description: Syntax for uniqueness quantification.

**Hypotheses**
Ref	Expression
sbb1	bridi broda
wda	sumti da

**Assertion**
Ref	Expression
bpd	bridi 1 da zo'u broda

See definition df-pa-da 455 for more information.

Colors of variables: sumti selbri bridi