Theorem CategoryTheory.le_of_op_hom

Modification history