PRO#

class discopy.rigid.PRO(n=0)[source]#

Bases: PRO, Ty

Objects of the free rigid monoidal category generated by 1.

property l#
>>> assert PRO(2).l == PRO(2)