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) …
Added category_theory.RelView on Github →