Def LieModuleHom.codRestrict

Modification history

2024-02-12 17:24

Mathlib/Algebra/Lie/Submodule.lean

feat: the pairing of a Lie algebra root space with its negative (#10454)

Added LieModuleHom.codRestrict View on Github →