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)