Theorem CategoryTheory.ShiftMkCore.assoc_inv_app

Modification history