Commit 2025-07-05 17:25 656089c8
View on Github →feat: contMDiffOn_section_of_mem_baseSet (#26678) Smoothness of a section can be determined using any trivialisation, not just the preferred trivialisation at a point. Part of the path towards geodesics and the Levi-Civita connection. Co-authored by: @PatrickMassot