Theorem LieSubmodule.mem_iInf

Modification history

2025-12-16 07:12
Mathlib/Algebra/Lie/Submodule.lean
chore(Algebra): consistently tag `mem_sInf`, `mem_iInf`, `coe_sInf`, `coe_iInf` (#32887) …
Modified LieSubmodule.mem_iInfView on Github →
2023-09-18 18:26
Mathlib/Algebra/Lie/Submodule.lean
chore: refactor Lie algebra weight spaces (#7210) …
Added LieSubmodule.mem_iInfView on Github →