HomeRelated theorems
Unicode version
| Home |
Metamath Proof Explorer |
< Previous
Next >
Related theorems Unicode version |
Description: Extend class notation to
include the notation for a contiguous finite set
of integers. Read "   " as "the set of
integers from to
inclusive." |
| Ref | Expression |
|---|---|
| cfz |
 |
| Colors of variables: wff set class |