mathlib3

cc579154 - chore(data/equiv/basic): add simp lemmas about subtype_equiv (#6479)