Mathlib v3 is deprecated. Go to Mathlib v4

Theorem map_zpow₀

Modification history

2022-08-16 01:42
src/algebra/group_with_zero/power.lean
feat(algebra/group_with_zero): generalize some lemmas (#15985) …
Added map_zpow₀View on Github →