Theorem CategoryTheory.MorphismProperty.LeftFraction.Localization.Q_map_comp_Qinv

Modification history