Theorem CategoryTheory.LocalizerMorphism.isIso_iff_of_hasRightResolutions

Modification history