Theorem CategoryTheory.congrArg_mpr_hom_right

Modification history