Theorem CategoryTheory.MorphismProperty.LeftFraction.Localization.Hom.map_mk

Modification history