2024-06-25 06:39
Mathlib/CategoryTheory/Localization/DerivabilityStructure/Constructor.lean
feat(CategoryTheory): constructor for right derivability structures (#12676) …
Added CategoryTheory.LocalizerMorphism.IsRightDerivabilityStructure.Constructor.isConnected