Nearby theorems
|
|
brismu bridi |
< Previous
Next >
Nearby theorems |
|
| Mirrors > Home > Home > Th. List > df-mapti | |||
| Description: Proposed definition of {mapti} as a witness to an inhabited bijection. |
| Ref | Expression |
|---|---|
| df-mapti | ⊢ go ko'a mapti ko'e ko'i gi ge ko'a ckini ko'e ko'i gi ge ro da zo'u ganai da ckini ko'e ko'i gi da du ko'a gi ro da zo'u ganai ko'a ckini da ko'i gi da du ko'e |
| Copyright terms: Public domain | W3C validator |