Theorem CategoryTheory.prod_comp

Modification history