Theorem LieModuleHom.codRestrict_apply

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_apply View on Github →