Skip to content

Commit

Permalink
chore: backports for leanprover/lean4#4814 (part 35) (#15606)
Browse files Browse the repository at this point in the history 
This one is a bit awkward / done badly. I reordered theorems in order to avoid pulling in `SmoothManifoldWithCorners` unnecessarily, but I didn't preserve the section headings properly. :-(
  • Loading branch information
@kim-em @bjoernkjoshanssen
kim-em authored and bjoernkjoshanssen committed Sep 11, 2024
1 parent 7af23d4 commit 009dfd7
Showing 0 changed files with 0 additions and 0 deletions.

0 comments on commit 009dfd7

Please sign in to comment.