Mathlib Changelog
v4
Changelog
About
Github
Theorem
zpow_natCast
Modification history
2024-03-20 12:03
Mathlib/Algebra/Group/Defs.lean
chore: Rename `zpow_coe_nat` to `zpow_natCast` (#11528) …
Added
zpow_natCast
View on Github →