Def CategoryTheory.LocalizerMorphism.LeftResolution.opFunctor

Modification history

2025-07-07 07:35
Mathlib/CategoryTheory/Localization/Resolution.lean
chore(CategoryTheory/Localization): fix morphisms in the category of resolutions (#26375) …
Modified CategoryTheory.LocalizerMorphism.LeftResolution.opFunctorView on Github →
2024-05-26 15:17
Mathlib/CategoryTheory/Localization/Resolution.lean
feat(CategoryTheory/Localization): left resolutions for localizer morphisms (#12631) …
Added CategoryTheory.LocalizerMorphism.LeftResolution.opFunctorView on Github →