Theorem OneHom.zpow_apply

Modification history

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