Nearby theorems
|
|
brismu bridi |
< Previous
Next >
Nearby theorems |
|
| Mirrors > Home > Home > Th. List > df-nibli | |||
| Description: {nibli} internalizes implication. |
| Ref | Expression |
|---|---|
| df-nibli | ⊢ go pa du'u broda kei nibli pa du'u brode kei gi ganai broda gi brode |
| Copyright terms: Public domain | W3C validator |