Theorem DistribSMul.toAddMonoidHom_eq_zsmulAddGroupHom

Modification history

2026-01-07 19:24
Mathlib/Algebra/Module/NatInt.lean
chore(Topology/Covering): adjust some statements (#33721) …
Added DistribSMul.toAddMonoidHom_eq_zsmulAddGroupHomView on Github →