Theorem CategoryTheory.ShiftMkCore.zero_add_inv_app

Modification history