Theorem Quiver.SingleObj.toPrefunctor_symm_id

Modification history