Theorem CategoryTheory.Under.isoMk_hom_right

Modification history