Def Interval.coe

Modification history

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