Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-04-15 13:10 bbbea1c1

View on Github →

chore(*): clean up unnecessary uses of nat.cases_on (#13454)

Estimated changes

Modified src/algebra/group_power/lemmas.lean

Modified src/algebra/group_with_zero/power.lean

Modified src/algebra/homology/augment.lean

Modified src/data/int/basic.lean

Modified src/data/list/rotate.lean

modified theorem list.rotate_nil

Modified src/data/nat/basic.lean

Modified src/data/nat/log.lean

Modified src/data/polynomial/inductions.lean

Modified src/group_theory/specific_groups/dihedral.lean

Modified src/group_theory/specific_groups/quaternion.lean

Modified src/logic/equiv/fin.lean

Modified src/ring_theory/polynomial/pochhammer.lean

Modified src/set_theory/surreal/dyadic.lean