Def Rel
Modification history
2025-07-06 13:16
Mathlib/Data/Rel.lean
refactor: make `Rel` less see-through (#25587) …
Deleted RelView on Github →2025-07-02 12:44
MathlibTest/grind/cc.lean
chore: use `grind` instead of `cc` (#26194) …
Added RelView on Github →