Improve simplifications in calculus on manifolds #24151
Description
Depends on #22801
Component: geometry
Keywords: manifolds calculus
Author: Marco Mancini
Branch/Commit: public/24151_simplifications_manifolds @ b875d7f
Issue created by migration from https://trac.sagemath.org/ticket/24151