Theorem OrderIso.preimage_Ioc

Modification history

2026-03-21 16:01

Mathlib/Order/Interval/Set/OrderIso.lean

chore(Order/UpperLower/Principal): use `to_dual` (#36945) …

Deleted OrderIso.preimage_Ioc View on Github →

2022-12-16 12:16

Mathlib/Data/Set/Intervals/OrderIso.lean

feat: port Data.Set.Intervals.OrderIso (#1067) …

Added OrderIso.preimage_Ioc View on Github →