mathlib

c1091050 - chore(logic/equiv): golf equiv.subtype_equiv (#14125)

chore(logic/equiv): golf equiv.subtype_equiv (#14125) The naming is a bit all over the place, but I will fix this in a later PR. Co-authored-by: Eric Rodriguez <37984851+ericrbg@users.noreply.github.com>