Def Rel

Modification history

2026-02-01 13:22
MathlibTest/cc.lean
chore: move `cc` to another repository (#34669) …
Deleted RelView on Github →
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 →
2024-05-21 12:14
test/cc.lean
feat: port `cc` tactic (3/3) (#5938) …
Added RelView on Github →
2023-08-10 19:52
Mathlib/Data/Rel.lean
chore: banish `Type _` and `Sort _` (#6499) …
Modified RelView on Github →
2022-12-22 20:13
Mathlib/Data/Rel.lean
feat: port Data.Rel (#1134)
Added RelView on Github →