sbska - brismu bridi

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

Syntax Definition sbska 594

Description: All {skaselbri} are {selbri}.

**Hypotheses**
Ref	Expression
sbba	selbri bu'a
sbska.0	skaselbri bu'a

**Assertion**
Ref	Expression
sbska	selbri bu'a

See definition df-skaselbri 595 for more information.

Colors of variables: sumti selbri bridi