Theorem CategoryTheory.isIso_iff_yoneda_map_bijective

Modification history

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