feat(data/quot): `is_equiv` instance for quotient equivalence (#15148)
feat(data/quot): `is_equiv` instance for quotient equivalence (#15148)






leanprover-community/mathlib,leanprover-community/mathlib