Commit 2026-09-30 17:48 afbe9eae
View on Github →chore(Algebra/Group/Torsion): deprecate zpow_eq_zpow_iff' (#44349)
This lemma is unused, there is no unprimed version, and the lemmas its docstring refers to have been renamed.
chore(Algebra/Group/Torsion): deprecate zpow_eq_zpow_iff' (#44349)
This lemma is unused, there is no unprimed version, and the lemmas its docstring refers to have been renamed.