Theorem powMonoidWithZeroHom_apply

Modification history

2024-05-25 19:14
Mathlib/Algebra/GroupPower/Ring.lean
chore: Delete `Algebra.GroupPower.Ring` (#12957) …
Modified powMonoidWithZeroHom_applyView on Github →
2022-12-13 21:37
Mathlib/Algebra/GroupPower/Ring.lean
feat: port Algebra.GroupPower.Ring (#979) …
Added powMonoidWithZeroHom_applyView on Github →