mathlib

7e71849c - feat(to_additive): copy _refl_lemma attribute (#7011)

feat(to_additive): copy _refl_lemma attribute (#7011) also warn user if if `simps` and `to_additive` are provided out of order. Co-authored-by: Eric Wieser <wieser.eric@gmail.com>