mathlib

1ac5d822 - fix(logic/nontrivial): change tactic doc entry tag to more common "type class" (#4676)