Revision #3314 → #3662 · back to history
64e0796e285a| Field | From #3314 | To #3662 |
|---|---|---|
| note | The number 7 is the standard `Nat` numeric literal `(7 : ℕ)`; e.g. used in `Nat.prime_seven`. | The number 7 is the standard `Nat` numeric literal `(7 : ℕ)`; e.g. used in the verified `Nat.prime_seven`. |
255a27e55825d15139dcc1040854a75a3eb3