Def CategoryTheory.LocalizerMorphism.RightResolution.Hom.comp

Modification history

2024-02-08 20:41
Mathlib/CategoryTheory/Localization/Resolution.lean
feat(CategoryTheory/Localization): right resolutions (#10301) …
Added CategoryTheory.LocalizerMorphism.RightResolution.Hom.compView on Github →