Theorem Quiver.SingleObj.toPrefunctor_comp

Modification history