Theorem ZeroHom.zsmul_apply

Modification history

2026-11-10 14:10
Mathlib/Algebra/Group/Hom/Instances.lean
feat: use `IsApply` for `OneHom` (#45472)
Added ZeroHom.zsmul_applyView on Github →