Theorem Nat.range_eq_Icc_zero_sub_one

Modification history

2024-07-11 10:12
Mathlib/Order/Interval/Finset/Nat.lean
chore: add missing spaces around : (#13658) …
Modified Nat.range_eq_Icc_zero_sub_oneView on Github →
2024-06-07 16:59
Mathlib/Order/Interval/Finset/Nat.lean
feat(Order/Interval): conversion Icc <-> range (#13440) …
Added Nat.range_eq_Icc_zero_sub_oneView on Github →