Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Def
category_theory.rel
Modification history
2019-07-29 14:13
src/category_theory/instances/rel.lean
doc(category_theory): adding headers and basic comments to files without (#1264) …
Deleted
category_theory.rel
View on Github →
2019-04-01 16:13
src/category_theory/instances/rel.lean
feat(category_theory): working in Sort rather than Type (#824)
Added
category_theory.rel
View on Github →