Theorem Quiver.SingleObj.toPrefunctor_id

Modification history