Theorem CategoryTheory.MorphismProperty.map_id

Modification history