Theorem CategoryTheory.SingleObj.id_as_one

Modification history