Theorem CategoryTheory.Functor.op_commShiftIso_hom_app

Modification history