Theorem CategoryTheory.MorphismProperty.LeftFraction.Localization.homMk_eq

Modification history