Theorem Finset.Ioc_succ_succ

Modification history

2025-11-04 09:42
Mathlib/Data/Int/Interval.lean
feat: Ixx summation filters (#30380) …
Added Finset.Ioc_succ_succView on Github →