Theorem CategoryTheory.Functor.reprW_hom

Modification history

2024-04-19 14:49
Mathlib/CategoryTheory/Yoneda.lean
feat: the forget functor from commutative groups to groups preserves all limits (#11669) …
Deleted CategoryTheory.Functor.reprW_homView on Github →
2023-02-20 11:53
Mathlib/CategoryTheory/Yoneda.lean
feat port/CategoryTheory.Yoneda (#2299)
Added CategoryTheory.Functor.reprW_homView on Github →