Theorem Representation.mem_invtSubmodule

Modification history

2025-03-11 13:02
Mathlib/RepresentationTheory/Submodule.lean
feat: define irreducible root systems / pairings (#22803)
Added Representation.mem_invtSubmoduleView on Github →