Theorem WithTop.Ioi_coe

Modification history

2025-09-11 07:52
Mathlib/Order/Interval/Set/WithBotTop.lean
feat: the topology on WithTop is second countable (#29466)
Added WithTop.Ioi_coeView on Github →