Mathlib Changelog
v4
Changelog
About
Github
Def
Rel
Modification history
2024-05-21 12:14
test/cc.lean
feat: port `cc` tactic (3/3) (#5938) …
Added
Rel
View on Github →
2023-08-10 19:52
Mathlib/Data/Rel.lean
chore: banish `Type _` and `Sort _` (#6499) …
Modified
Rel
View on Github →
2022-12-22 20:13
Mathlib/Data/Rel.lean
feat: port Data.Rel (#1134)
Added
Rel
View on Github →