Theorem CategoryTheory.NatTrans.isIso_iff_isIso_app

Modification history

2024-05-24 08:53
Mathlib/CategoryTheory/NatIso.lean
feat(CategoryTheory/Sites): functors which preserves sheafification (#12332) …
Added CategoryTheory.NatTrans.isIso_iff_isIso_appView on Github →