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

Definition df-se 168
Description: Definition of {se} as a swap of terbri. Implied by example 11.1-2 of [CLL] p. 5.
Assertion
Ref Expression
df-sego ko'e se bu'a ko'a gi ko'a bu'a ko'e

This definition is referenced by:  sei  169  seri  170  se-dual  172  se-dual-l  173  se-dual-r  174  se-ganaii  175  se-ganair  176
  Copyright terms: Public domain W3C validator