mathlib3

683519f3 - feat(data/equiv/basic): generalise subtype_equiv_of_subtype (#724)