Theorem untopD_coe_enat

Modification history

2025-10-16 08:08
Mathlib/Data/Countable/Basic.lean
feat: Borel space on WithTop (#30543) …
Added untopD_coe_enatView on Github →