Theorem CategoryTheory.SingleFunctors.shiftIso_add_inv_app

Modification history