mathlib

53952326 - remove simp on set_coe_eq_subtype (#682)