Theorem CategoryTheory.SingleObj.mapHom_id

Modification history