mathlib
961da82a - chore(linear_algebra/finite_dimensional): add some irreducible

Commit

2 years ago

chore(linear_algebra/finite_dimensional): add some irreducible

References

finite_dimensional_irreducibles

Author

kim-em

kim-em

Parents

Loading