Theorem CategoryTheory.SingleFunctors.hom_inv_id_hom

Modification history