Theorem CategoryTheory.SingleFunctors.inv_hom_id_hom_app

Modification history