Theorem CategoryTheory.MorphismProperty.unop_op

Modification history