mathlib

d13b3a4a - chore(*): update to 3.37.0c (#11325)

chore(*): update to 3.37.0c (#11325) the major breaking change this version is making `default`'s parameters implicit, as opposed to explicit. there was also some slight "free" golfing due to the better `out_param` simp support.