Theorem CategoryTheory.LocalizerMorphism.id_homMap

Modification history