Commit 2024-03-08 09:17 e5bcceb1
View on Github →feat: continuity of the parametric set integral (#11108) From the sphere eversion project. In passing, we rename variables in one more lemma and use fun_prop in a tiny way.
feat: continuity of the parametric set integral (#11108) From the sphere eversion project. In passing, we rename variables in one more lemma and use fun_prop in a tiny way.