Theorem CategoryTheory.LocalizerMorphism.inverts

Modification history