Theorem CategoryTheory.MorphismProperty.LeftFraction.Localization.Q_map

Modification history