Theorem CategoryTheory.corepresentable_of_nat_iso

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.corepresentable_of_nat_isoView on Github →
2023-02-20 11:53
Mathlib/CategoryTheory/Yoneda.lean
feat port/CategoryTheory.Yoneda (#2299)
Added CategoryTheory.corepresentable_of_nat_isoView on Github →