Mathlib Changelog
v4
Changelog
About
Github
Commit
2024-05-24 19:08
53aa6a13
View on Github →
Chore(Algebra/Module/Torsion): Fix typo (
#13180
) Fix typo.
Estimated changes
Modified
Mathlib/Algebra/Module/Torsion.lean
added
theorem
isSMulRegular_iff_torsionBy_eq_bot
deleted
theorem
isSMulRegular_iff_torsionBy_top_eq_bot