Theorem CategoryTheory.exact_comp_inv_hom_comp

Modification history