Def powMonoidWithZeroHom

Modification history

2024-05-25 19:14

Mathlib/Algebra/GroupPower/Ring.lean

chore: Delete `Algebra.GroupPower.Ring` (#12957) …

Modified powMonoidWithZeroHom View on Github →

2022-12-13 21:37

Mathlib/Algebra/GroupPower/Ring.lean

feat: port Algebra.GroupPower.Ring (#979) …

Added powMonoidWithZeroHom View on Github →