mathlib3
feat(linear_algebra/invariant_submodule): invariant submodules
#18289
Open
Open