Mathlib Changelog
v4
Changelog
About
Github
Theorem
zpow_negSucc
Modification history
2022-11-01 00:14
Mathlib/Algebra/Group/Defs.lean
feat: port abel1 (#509) …
Added
zpow_negSucc
View on Github →