Theorem Interval.coe_iInf

Modification history

2024-12-11 04:11

Mathlib/Order/Interval/Basic.lean

chore: used named arguments instead of @DecidableRel (#19850)

Modified Interval.coe_iInf View on Github →

2023-05-22 16:35

Mathlib/Order/Interval.lean

feat: port Order.Interval (#3360)

Added Interval.coe_iInf View on Github →