sbkanxe - brismu bridi

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

Syntax Definition sbkanxe 419

**Assertion**
Ref	Expression
sbkanxe	selbri kanxe

See definition df-kanxe 420 for more information.

Colors of variables: sumti selbri bridi