Def CategoryTheory.LocalizerMorphism.RightResolution.Hom.id

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.RightResolution.Hom.id View on Github →

2024-02-08 20:41

Mathlib/CategoryTheory/Localization/Resolution.lean

feat(CategoryTheory/Localization): right resolutions (#10301) …

Added CategoryTheory.LocalizerMorphism.RightResolution.Hom.id View on Github →