bnd - brismu bridi

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

Syntax Definition bnd 434

Description: Syntax for first-order not-free quantification.

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

**Assertion**
Ref	Expression
bnd	bridi na'a'u da zo'u broda

See definition df-nahahu 435 for more information.

Colors of variables: sumti selbri bridi