mathlib

75a7ce9f - refactor(*): rename subtype_congr to subtype_equiv (#6004)

refactor(*): rename subtype_congr to subtype_equiv (#6004) This definition is closely related to `perm.subtype_perm`, so renaming will bring them closer in use. Also releavnt is #5875 which defines a separate `perm.subtype_congr`.