Theorem CategoryTheory.congrArg_cast_hom_right

Modification history