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
chore(loops/reparametrization): switch to natural-number-indexed delta mollifier
#60
Closed
ocfnash
closed
2 years ago