Theorem CategoryTheory.MorphismProperty.LeftFractionRel.refl

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