Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-04-01 10:46 0e95cadc

View on Github →

chore(algebra/group_power/basic): generalisation linter (#13095)

Estimated changes

modified theorem eq_or_eq_neg_of_sq_eq_sq
modified theorem of_add_zsmul
modified theorem of_mul_zpow