Theorem PartitionOfUnity.exists_finset_nhds

Modification history