Theorem CategoryTheory.MorphismProperty.LeftFraction.Localization.homMk_eq_of_leftFractionRel

Modification history