Theorem CategoryTheory.inv_hom_id_apply

Modification history