Theorem LinearMap.toAddMonoidHom_mulRight

Modification history

2026-01-06 19:16
Mathlib/Algebra/Module/LinearMap/Defs.lean
chore(Algebra): some cleanup (#33602) …
Added LinearMap.toAddMonoidHom_mulRightView on Github →