issues
search
leanprover-community
/
sphere-eversion
Formalization of the existence of sphere eversions
https://leanprover-community.github.io/sphere-eversion/
Apache License 2.0
36
stars
10
forks
source link
feat(loops/reparametrization): finish proof modulo `delta_mollifier`
#59
Closed
ocfnash
closed
2 years ago