Commit 2023-01-17 09:51 df2e55f9

View on Github →

chore: Fix lemma name (#1080) Match https://github.com/leanprover-community/mathlib/pull/17967

Estimated changes

Modified Mathlib/Algebra/GroupPower/Lemmas.lean

deleted theorem Int.natAbs_sq'

modified theorem Int.natAbs_sq

Modified Mathlib/Data/Int/Dvd/Basic.lean

Modified Mathlib/Data/Int/Order/Basic.lean

added theorem Int.abs_coe_nat

modified theorem Int.coe_natAbs

added theorem Nat.cast_natAbs

Modified Mathlib/Data/Rat/Floor.lean