[Merged by Bors] - feat: sections of a fiber bundle with Subsingleton fiber are smooth and differentiable

[Merged by Bors] - feat: sections of a fiber bundle with Subsingleton fiber are smooth and differentiable #68349