Theorem ZeroHom.nsmul_apply

Modification history

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