Def CategoryTheory.Localization.StrictUniversalPropertyFixedTarget.comp

Modification history

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