Commit 2024-06-07 16:59 14710ad9
View on Github →feat(Order/Interval): conversion Icc <-> range (#13440)
Add lemma range_eq_Icc_zero_sub_one, as direct conversion between Icc and range is missing
feat(Order/Interval): conversion Icc <-> range (#13440)
Add lemma range_eq_Icc_zero_sub_one, as direct conversion between Icc and range is missing