Theorem CategoryTheory.LocalizerMorphism.RightResolution.hom_ext

Modification history