Def CategoryTheory.MorphismProperty.Q'

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.Q'View on Github →