Theorem CategoryTheory.MorphismProperty.op_unop

Modification history