sbs - brismu bridi

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

Syntax Definition sbs 167

Description: If {bu'a} is a selbri, then so is {se bu'a}.

**Hypothesis**
Ref	Expression
sbba	selbri bu'a

**Assertion**
Ref	Expression
sbs	selbri se bu'a

See definition df-se 168 for more information.

Colors of variables: sumti selbri bridi