Theorem Int.natAbs_sq'

Modification history

2023-01-17 09:51
Mathlib/Algebra/GroupPower/Lemmas.lean
chore: Fix lemma name (#1080) …
Deleted Int.natAbs_sq'View on Github →
2022-12-21 11:12
Mathlib/Algebra/GroupPower/Lemmas.lean
chore: tidy various files (#1145)
Added Int.natAbs_sq'View on Github →