Mathlib Changelog v4

Changelog About Github

Def Interval.length

Modification history

2023-06-07 16:52

Mathlib/Algebra/Order/Interval.lean

feat: port Algebra.Order.Interval (#4464)

Added Interval.length View on Github →