Theorem ZeroHom.smul_apply

Modification history

2025-09-06 10:02
Mathlib/Algebra/GroupWithZero/Action/Hom.lean
feat: instances for `ZeroHom` and `OneHom` (#27305) …
Added ZeroHom.smul_applyView on Github →