Theorem CategoryTheory.MorphismProperty.LeftFractionRel.trans

Modification history

2023-11-01 07:43

Mathlib/CategoryTheory/Localization/CalculusOfFractions.lean

feat(CategoryTheory/Localization): equivalence relation on left fractions (#8055)

Added CategoryTheory.MorphismProperty.LeftFractionRel.trans View on Github →