Theorem CategoryTheory.hom_of_le_le_of_hom

Modification history