Theorem CategoryTheory.SingleFunctors.shiftIso_add'_inv_app

Modification history