Skip to content

[Merged by Bors] - feat(Manifold/PartitionOfUnity): existence of global C^n smooth section for nontrivial bundles#26875

Closed
michaellee94 wants to merge 15 commits into
leanprover-community:masterfrom
michaellee94:michaellee94/smooth_section
Closed

[Merged by Bors] - feat(Manifold/PartitionOfUnity): existence of global C^n smooth section for nontrivial bundles#26875
michaellee94 wants to merge 15 commits into
leanprover-community:masterfrom
michaellee94:michaellee94/smooth_section

Apply suggestions from code review

4c58a63
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

The logs for this run have expired and are no longer available.