Nearby theorems
|
|
bfol.mm Proof Explorer |
< Previous
Next >
Nearby theorems |
|
| Mirrors > Home > PE Home > Th. List > term_zero | |||
| Description: The constant '0' is a term. |
| Ref | Expression |
|---|---|
| term_zero | term 0 |
| Copyright terms: Public domain | W3C validator |