mathlib3

b72cca41 - chore(geometry/manifold/algebra/smooth_functions): golf module instance (#12247)