Theorem CategoryTheory.LocalizerMorphism.LeftResolution.hom_ext

Modification history