Theorem PartitionOfUnity.exists_finset_nhds_support_subset

Modification history