Prolinear contour

Last updated May 3, 2023

• Prolinearly distributive category