push_neg): add docs to resolve some lint errors (#17225)

Commit

3 years ago

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

Author

adomani

Parents