Theorem Quotient.eq_rel

Modification history

2025-04-11 00:24

Mathlib/Data/Setoid/Basic.lean

chore: delete >6 month old deprecations (2024-10 01-10) (#23928) …

Deleted Quotient.eq_rel View on Github →

2022-12-22 08:25

Mathlib/Data/Setoid/Basic.lean

feat: port Data.Setoid.Basic (#1117)

Added Quotient.eq_rel View on Github →