Theorem CategoryTheory.congrArg_mpr_hom_left

Modification history