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






leanprover-community/mathlib,leanprover-community/mathlib