Theorem precise_refinement_set

Modification history

2023-02-05 01:17
Mathlib/Topology/Paracompact.lean
feat: port Topology.Paracompact (#2036)
Added precise_refinement_setView on Github →