Theorem WithBot.Iic_coe

Modification history

2026-04-21 17:27
Mathlib/Order/Interval/Set/WithBotTop.lean
chore(Order/Interval/Set/WithBotTop): use `to_dual` (#38240)
Deleted WithBot.Iic_coeView on Github →
2025-09-11 07:52
Mathlib/Order/Interval/Set/WithBotTop.lean
feat: the topology on WithTop is second countable (#29466)
Added WithBot.Iic_coeView on Github →