Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-10-30 15:25 da8ded3f

View on Github →

docs(algebra/hom/group, tactic/push_neg): add docs to resolve some lint errors (#17225)

Estimated changes

Modified src/algebra/hom/group.lean

modified theorem one_hom.comp_assoc

Modified src/tactic/push_neg.lean