Def CategoryTheory.MorphismProperty.Localization'

Modification history

2023-12-27 05:26
Mathlib/CategoryTheory/Localization/HasLocalization.lean
feat(Algebra/Homology): the category of complexes up to quasi-isomorphisms (#8970) …
Added CategoryTheory.MorphismProperty.Localization'View on Github →