mathlib3
a7cd215b - feat(linear_algebra/invariant_submodule): invariant submodules

Commit

2 years ago

feat(linear_algebra/invariant_submodule): invariant submodules

References

#18041 - feat(analysis/inner_product_space/finite_dimensional): some lemmas on finite dimensional inner product spaces

#18289 - feat(linear_algebra/invariant_submodule): invariant submodules

#18290 - feat(analysis/von_neumann_algebra/basic): one result

Author

themathqueen

themathqueen

Parents

Loading