bpd - brismu bridi

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

Syntax Definition bpd 551

Description: Syntax for uniqueness quantification.

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

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

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

Colors of variables: sumti selbri bridi