Theorem CategoryTheory.MorphismProperty.LeftFractionRel.refl

Modification history