Theorem WithBot.preimage_coe_Ioo

Modification history

2026-04-21 17:27

Mathlib/Order/Interval/Set/WithBotTop.lean

chore(Order/Interval/Set/WithBotTop): use `to_dual` (#38240)

Deleted WithBot.preimage_coe_Ioo View on Github →

2022-12-17 23:34

Mathlib/Data/Set/Intervals/WithBotTop.lean

feat: port Data.Set.Intervals.WithBotTop (#1072)

Added WithBot.preimage_coe_Ioo View on Github →