Theorem CategoryTheory.congrArg_cast_hom_left

Modification history