Def CategoryTheory.MorphismProperty.LeftFractionRel

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