brismu bridi |
< Previous
Next >
Nearby theorems |
||
Mirrors > Home > Home > Th. List > df-se |
Description: Definition of {se} as a swap of terbri. Implied by example 11.1-2 of [CLL] p. 5. |
Ref | Expression |
---|---|
df-se | ⊢ go ko'e se bu'a ko'a gi ko'a bu'a ko'e |
Copyright terms: Public domain | W3C validator |