Mathlib Changelog
v4
Changelog
About
Github
Theorem
Module.finite_of_fg_torsion
Modification history
2023-07-05 18:37
Mathlib/GroupTheory/FiniteAbelian.lean
feat: port GroupTheory.FiniteAbelian (#5730) …
Added
Module.finite_of_fg_torsion
View on Github →