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: fix oneJetBundle_chart_source proof #86

Closed Ruben-VandeVelde closed 1 year ago