Theorem CategoryTheory.MorphismProperty.LeftFraction.Localization.Qiso_inv_hom_id

Modification history