Theorem CategoryTheory.LocalizerMorphism.homMap_comp

Modification history