Theorem DistribSMul.toAddMonoidHom_eq_nsmulAddMonoidHom

Modification history

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