Def Representation.mapSubmodule

Modification history

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