df-se - brismu bridi

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

Definition df-se 213

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 214 seri 215 se-dual 217 se-dual-l 218 se-dual-r 219 se-ganaii 220 se-ganair 221