Prolinear contour

Last updated Jan 8, 2025

• Prolinearly distributive category