Theorem TopCat.inv_hom_id_apply

Modification history