Theorem CategoryTheory.LocalizerMorphism.homMap_id

Modification history