sphere-eversion
sphere-eversion copied to clipboard
leanprover-community
Formalization of the existence of sphere eversions
Results
2
sphere-eversion issues
Sort by
recently updated
recently updated
newest added
Oh no! We have failed to automatically upgrade your project to the latest versions of Lean and its dependencies. If your project currently builds, this is probably because of changes...
![github-actions[bot] avatar](https://avatars.githubusercontent.com/in/15368?v=4 "github-actions[bot] avatar"){kind=avatar}
- depends on: mathlib4#30413 - further use will need - a fix in the elaborators: if E is a real inner product space, we don't find the trivial model yet...
Metadata
34
Stars
10
Forks
Watchers
Owner
Metadata
Formalization of the existence of sphere eversions