mathlib

5993b90e - feat(tactic/simps): use new options in library (#7095)

feat(tactic/simps): use new options in library (#7095) Co-authored-by: Yury G. Kudryashov <urkud@urkud.name> Co-authored-by: Scott Morrison <scott.morrison@gmail.com>