Theorem CategoryTheory.Functor.op_commShiftIso_inv_app

Modification history