Theorem CategoryTheory.Functor.IsLocalization.comp

Modification history

2023-09-06 15:49
Mathlib/CategoryTheory/Localization/Composition.lean
feat: composition of localization functors (#6882)
Added CategoryTheory.Functor.IsLocalization.compView on Github →