mathlib

218d66a1 - doc(tactic/lint/type_classes): Fix small typo (#14242)