Theorem CategoryTheory.MorphismProperty.map_eq_of_iso

Modification history