Theorem ZeroHom.coe_smul

Modification history

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