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
Add proof of `times_cont_diff_clm_apply`
#49
Closed
ocfnash
closed
2 years ago