Theorem CategoryTheory.LocalizerMorphism.isLeftDerivabilityStructure_iff_op

Modification history

2025-04-28 07:13
Mathlib/CategoryTheory/Localization/DerivabilityStructure/Basic.lean
feat(CategoryTheory): left derivability structures (#22450) …
Added CategoryTheory.LocalizerMorphism.isLeftDerivabilityStructure_iff_opView on Github →