Theorem PartitionOfUnity.exists_finset_nhds'

Modification history