| brismu bridi |
< Previous
Next >
Nearby theorems |
||
| Mirrors > Home > Home > Th. List > df-kazmi | |||
| Description: Definition of {kazmi} in terms of {ka'au}. |
| Ref | Expression |
|---|---|
| df-kazmi | ⊢ go ko'a kazmi ko'e gi ko'a du li ka'au ko'e |
| Copyright terms: Public domain | W3C validator |