Theorem CategoryTheory.SingleObj.toEnd_def

Modification history