Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-04-10 13:48 bf8f25ae

View on Github →

feat(algebra/lie_algebra): quotients of Lie modules are Lie modules (#2335)

Estimated changes

Modified src/algebra/lie_algebra.lean

added theorem lie_submodule.quotient.lie_quotient_action_apply

added def lie_submodule.quotient.lie_submodule_invariant

Modified src/linear_algebra/basic.lean

added theorem submodule.comap_le_comap_smul

added def submodule.compatible_maps

added theorem submodule.inf_comap_le_comap_add

added def submodule.mapq_linear