bp - brismu bridi

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

Theorem bp 8

Description: Normal form for quinary selbri. To avoid conflict with bq 7 this syntax is "bp" for "bridi pentad". (Contributed by la korvo, 22-Jun-2024.)

**Assertion**
Ref	Expression
bp	bridi ko'a bu'a ko'e ko'i ko'o ko'u

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

Colors of variables: sumti selbri bridi

Syntax hints: tsb 1 tss 2 btb 3

This theorem is referenced by: (None)

W3C validator