Theorem CategoryTheory.MorphismProperty.map_map

Modification history