Theorem CategoryTheory.MorphismProperty.LeftFraction.comp_eq

Modification history

2023-11-01 07:43

Mathlib/CategoryTheory/Localization/CalculusOfFractions.lean

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

Added CategoryTheory.MorphismProperty.LeftFraction.comp_eq View on Github →