Theorem LieHom.mem_idealRange

Modification history

2024-04-15 13:31

Mathlib/Algebra/Lie/Submodule.lean

feat(Algebra/Lie): define adjoint action and its ideal image (#12106) …

Modified LieHom.mem_idealRange View on Github →

2023-06-02 13:42

Mathlib/Algebra/Lie/Submodule.lean

feat: port Algebra.Lie.Submodule (#3045)

Added LieHom.mem_idealRange View on Github →