Theorem CategoryTheory.LocalizerMorphism.isIso_iff_of_hasLeftResolutions

Modification history

2024-05-26 15:17
Mathlib/CategoryTheory/Localization/Resolution.lean
feat(CategoryTheory/Localization): left resolutions for localizer morphisms (#12631) …
Added CategoryTheory.LocalizerMorphism.isIso_iff_of_hasLeftResolutionsView on Github →