Commit 2024-01-11 23:49 709f51da

View on Github →

feat: function is differentiable outside of its tsupport (#9669) From sphere-eversion; I'm just submitting it. Also golf the proof of the preceding lemma slightly and add a docstring.

Estimated changes