Theorem CategoryTheory.unmop_id_mop

Modification history