Theorem Quotient.eq_iff_equiv

Modification history

2024-10-18 13:37
Mathlib/Data/Quot.lean
chore: do not use `· ≈ ·` in `Quotient.eq` (#17594) …
Added Quotient.eq_iff_equivView on Github →