Theorem CategoryTheory.SingleFunctors.shiftIso_add_hom_app

Modification history