Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2018-09-05 11:49 681c98f3

View on Github →

feat(category_theory): full subcategories, preorders, Aut, and End

Estimated changes

Modified category_theory/category.lean

added def category_theory.End

Created category_theory/full_subcategory.lean

added def category_theory.full_subcategory_embedding

Modified category_theory/isomorphism.lean

added def category_theory.Aut