Theorem CategoryTheory.mop_unmop

Modification history