Def CategoryTheory.MorphismProperty.HasLocalization.standard

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.HasLocalization.standardView on Github →