mathlib

4b9cdf44 - chore(*): pass dup_namespace and def_lemma lint tests (#1599)

chore(*): pass dup_namespace and def_lemma lint tests (#1599) * chore(*): pass dup_namespace and def_lemma lint tests * Update src/group_theory/free_group.lean Co-Authored-By: Johan Commelin <johan@commelin.net> * Update src/number_theory/pell.lean Co-Authored-By: Johan Commelin <johan@commelin.net> * Update src/order/lattice.lean Co-Authored-By: Johan Commelin <johan@commelin.net> * Update src/set_theory/ordinal.lean Co-Authored-By: Johan Commelin <johan@commelin.net> * Update src/set_theory/ordinal.lean Co-Authored-By: Johan Commelin <johan@commelin.net> * Update src/tactic/transfer.lean Co-Authored-By: Johan Commelin <johan@commelin.net> * Update src/group_theory/free_group.lean Co-Authored-By: Reid Barton <rwbarton@gmail.com> * using nolint