Def CategoryTheory.LocalizerMorphism.LeftResolution.Hom.comp

Modification history

2024-05-26 15:17

Mathlib/CategoryTheory/Localization/Resolution.lean

feat(CategoryTheory/Localization): left resolutions for localizer morphisms (#12631) …

Added CategoryTheory.LocalizerMorphism.LeftResolution.Hom.comp View on Github →