spk - brismu bridi

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

Syntax Definition spk 267

Description: If {bo'a} is a brirebla, then filling its first place with a sumti and wrapping it with {1 ka} yields sumti.

**Hypotheses**
Ref	Expression
wk1	sumti ko'a
tb1	brirebla bo'a

**Assertion**
Ref	Expression
spk	sumti 1 ka ko'a bo'a kei

See definition df-ckaji 270 for more information.

Colors of variables: sumti selbri bridi