Commit 2023-02-18 12:22 1a56e8d1

View on Github →

feat: port CategoryTheory.Core (#2305)

Estimated changes

Modified Mathlib.lean

Created Mathlib/CategoryTheory/Core.lean

added theorem CategoryTheory.Core.comp_hom

added def CategoryTheory.Core.forgetFunctorToCore

added theorem CategoryTheory.Core.id_hom

added def CategoryTheory.Core.inclusion

added def CategoryTheory.Core

added def CategoryTheory.ofEquivFunctor