mathlib

7a715545 - doc(tactic/slim_check): improve advice in error message (#4520)

doc(tactic/slim_check): improve advice in error message (#4520) The error message in `slim_check` suggests to look for `testable` and it now specifies which namespace to find `testable` in.