Theorem CategoryTheory.SingleFunctors.shiftIso_zero_hom_app

Modification history