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.
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.