Commit 2025-01-02 11:03 a07a33c8

chore(Mathlib/Algebra/Lie): rename theorems for consistency (#20353) Moves:

• *coeSubmodule*, *coe_toSubmodule*, *to_submodule*, *coe_submodule*, *coe_to_submodule* -> *toSubmodule*
• *coe_linearMap* -> *toLinearMap*
• *to_lieHom* -> *toLieHom*
• *coe_linearEquiv*, *to_linearEquiv* -> *toLinearEquiv*
• *coe_lieSubalgebra*, *to_lieSubalgebra* -> *toLieSubalgebra* special cases:

• LieIdeal.coe_toSubalgebra -> LieIdeal.coe_toLieSubalgebra
• LieSubalgebra.coe_to_submodule -> LieSubalgebra.coe_toSubmodule
• LieSubmodule.coe_toSubmodule and similar: unchanged
• sInf_coe_toSubmodule' -> sInf_toSubmodule_eq_iInf
• sSup_coe_toSubmodule' -> sSup_toSubmodule_eq_iSup PR follows this Zulip discussion