Theorem CategoryTheory.isIso_iff_isIso_yoneda_map

Modification history

2024-10-27 10:17
Mathlib/CategoryTheory/Yoneda.lean
feat(CategoryTheory/Monoidal): Day's reflection theorem (#15894)
Added CategoryTheory.isIso_iff_isIso_yoneda_mapView on Github →