Zulip Chat Archive
Stream: Is there code for X?
Topic: C^1 space
Kexing Ying (Aug 30 2024 at 12:46):
Do we have the space of continuously differentiable functions, i.e. a bundled version of ContDiff
?
Michael Rothgang (Aug 30 2024 at 13:04):
There is docs#ContMDiffMap (which is the manifold version of this)
Last updated: May 02 2025 at 03:31 UTC