Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Theorem
partition_of_unity.nonneg
Modification history
2021-08-06 09:28
src/topology/partition_of_unity.lean
feat(topology,geometry/manifold): continuous and smooth partition of unity (#8281) …
Added
partition_of_unity.nonneg
View on Github →