Theorem CategoryTheory.MorphismProperty.LeftFraction.Localization.homMk_eq_iff_leftFractionRel

Modification history