sbpurci - brismu bridi

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

Syntax Definition sbpurci 670

**Assertion**
Ref	Expression
sbpurci	selbri purci

See definition df-purci 672 for more information.

Colors of variables: sumti selbri bridi