Mathlib Changelog
v4
Changelog
About
Github
Def
ZMod.algebraOfModule
Modification history
2025-11-21 12:49
Mathlib/Algebra/Algebra/ZMod.lean
feat(Data): IsScalarTower for ZMod (#30833)
Added
ZMod.algebraOfModule
View on Github →