Mathlib Changelog
v4
Changelog
About
Github
Commit
2025-11-21 12:49
05f1a826
View on Github →
feat(Data): IsScalarTower for ZMod (
#30833
)
Estimated changes
Modified
Mathlib/Algebra/Algebra/ZMod.lean
added
def
ZMod.algebraOfModule
Modified
Mathlib/Data/ZMod/Basic.lean