Theorem CategoryTheory.le_of_hom_hom_of_le

Modification history