Mathlib Changelog
v4
Changelog
About
Github
Structure
CategoryTheory.LocalizerMorphism.RightResolution
Modification history
2024-02-08 20:41
Mathlib/CategoryTheory/Localization/Resolution.lean
feat(CategoryTheory/Localization): right resolutions (#10301) …
Added
CategoryTheory.LocalizerMorphism.RightResolution
View on Github →