Theorem CategoryTheory.prod_id

Modification history