Theorem CategoryTheory.ShiftMkCore.add_zero_inv_app

Modification history