Def ZMod.algebraOfModule

Modification history

2025-11-21 12:49
Mathlib/Algebra/Algebra/ZMod.lean
feat(Data): IsScalarTower for ZMod (#30833)
Added ZMod.algebraOfModuleView on Github →