Theorem Interval.length_bot

Modification history

2026-04-02 06:37
Mathlib/Algebra/Order/Interval/Basic.lean
chore: use a type synonym instead of an abbrev for `Interval` (#37508) …
Added Interval.length_botView on Github →