Theorem AddMonoidHom.toZModLinearMap_injective:

Modification history

2024-07-11 10:12

Mathlib/Data/ZMod/Module.lean

chore: add missing spaces around : (#13658) …

Deleted AddMonoidHom.toZModLinearMap_injective:View on Github →

2023-12-13 00:39

Mathlib/Data/ZMod/Module.lean

feat: homomorphisms are linear over Z/nZ scalars (#8965) …

Added AddMonoidHom.toZModLinearMap_injective:View on Github →