Theorem CategoryTheory.MorphismProperty.LeftFraction.map_eq

Modification history