Theorem OneHom.pow_apply

Modification history

2026-11-10 14:10
Mathlib/Algebra/Group/Hom/Instances.lean
feat: use `IsApply` for `OneHom` (#45472)
Deleted OneHom.pow_applyView on Github →
2025-09-06 10:02
Mathlib/Algebra/Group/Hom/Instances.lean
feat: instances for `ZeroHom` and `OneHom` (#27305) …
Added OneHom.pow_applyView on Github →