Theorem CategoryTheory.MorphismProperty.LeftFraction.Localization.Hom.mk_surjective

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.Localization.Hom.mk_surjective View on Github →