mathlib

fcbaf625 - doc(lint/type_classes): add has_coe_to_fun linter (#5546)