sbt - brismu bridi

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

Syntax Definition sbt 396

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

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

**Assertion**
Ref	Expression
sbt	selbri te bu'a

See definition df-te 397 for more information.

Colors of variables: sumti selbri bridi