Theorem CategoryTheory.MorphismProperty.id_mem

Modification history