Skip to content

[Merged by Bors] - chore(Topology/PartitionOfUnity): shorten proof using ParitionOfUnity.le_one#19899

Closed
dwrensha wants to merge 1 commit intomasterfrom PartitionOfUnity-tryAtEachStep
+1-12

Commits