Theorem precise_refinement

Modification history

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