df-se - brismu bridi

	brismu bridi		< Previous Next > Nearby theorems
Mirrors > Home > Home > Th. List > df-se

Definition df-se 182

Description: Definition of {se} as a swap of terbri. Implied by example 11.1-2 of [CLL] p. 5.

**Assertion**
Ref	Expression
df-se	⊢ go ko'e se bu'a ko'a gi ko'a bu'a ko'e

This definition is referenced by: sei 183 seri 184 se-dual 186 se-dual-l 187 se-dual-r 188 se-ganaii 189 se-ganair 190