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.

Estimated changes