Structure SmoothBumpCovering

Modification history

2024-08-09 00:58

Mathlib/Geometry/Manifold/PartitionOfUnity.lean

chore: backports for leanprover/lean4#4814 (part 34) (#15607)

Modified SmoothBumpCovering View on Github →

2023-06-27 21:22

Mathlib/Geometry/Manifold/PartitionOfUnity.lean

feat: port Geometry.Manifold.PartitionOfUnity (#5460)

Added SmoothBumpCovering View on Github →