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 311 bsimsa 319 simsai 321 simsari 324 bdunli 328 dunlii 330 dunliri 331 dunli-sym 333 bmintu 335 mintui 337 minturi 338 mintu-sym 340 stecii 345 steciri 346 muplii 350 muplili 351 mupliiri 352 mupliri 353 muplirii 354 simxui 357 simxuri 358 tei 361 teri 362 te-dual 364 te-dual-l 365 te-dual-r 366 te-ganaii 367 te-ganair 368 taknii 480 kinfiri 483 kinrari 486 sezni-elt 510 sumji-no 543 pilji-no 550 dugrii 559 dugriri 560 kihirnihi-refl 608 fancui 628 fancuii 629 mapti-ckini 634