Theorem CategoryTheory.le_ofOp_hom

Modification history