Theorem CategoryTheory.Enriched.FunctorCategory.isLimitConeFunctorEnrichedHom.fac

Modification history

2024-12-20 15:29

Mathlib/CategoryTheory/Enriched/FunctorCategory.lean

feat(CategoryTheory/Enriched): functoriality of the enrichment of functor categories (#18414) …

Added CategoryTheory.Enriched.FunctorCategory.isLimitConeFunctorEnrichedHom.fac View on Github →