bt - brismu bridi

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

Theorem bt 6

Description: Normal form for ternary selbri. (Contributed by la korvo, 14-Aug-2023.)

**Assertion**
Ref	Expression
bt	bridi ko'a bu'a ko'e ko'i

**Proof of Theorem bt**
Step	Hyp	Ref	Expression
1		btb 3	1 bridi ko'a bu'a ko'e ko'i

Colors of variables: sumti selbri bridi

Syntax hints: tsb 1 tss 2 btb 3

This theorem is referenced by: bckini 274 bsimsa 282 simsai 284 simsari 287 bdunli 291 dunlii 293 dunliri 294 dunli-sym 296 bmintu 298 mintui 300 minturi 301 mintu-sym 303 stecii 308 steciri 309 muplii 313 muplili 314 mupliiri 315 mupliri 316 muplirii 317 simxui 320 simxuri 321 tei 324 teri 325 te-dual 327 te-dual-l 328 te-dual-r 329 te-ganaii 330 te-ganair 331 taknii 438 kinfiri 441 kinrari 444 sezni-elt 468 sumji-no 501 pilji-no 508 dugrii 517 dugriri 518 kihirnihi-refl 566 fancui 575 fancuii 576 mapti-ckini 581