Def Setoid.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 Setoid.Rel View on Github →

2022-12-22 08:25

Mathlib/Data/Setoid/Basic.lean

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

Added Setoid.Rel View on Github →