Mathlib v3 is deprecated. Go to Mathlib v4

Theorem partition_of_unity.exists_finset_nhd_support_subset

Modification history