mathlib3

c953156e - remove c_coe, function dot notation, instances