Theorem CategoryTheory.Under.hom_right_inv_right

Modification history