Theorem Nat.range_succ_eq_Iic

Modification history

2025-12-21 15:46
Mathlib/Order/Interval/Finset/Nat.lean
feat: Prokhorov theorem (#32701) …
Added Nat.range_succ_eq_IicView on Github →