wiki/concepts/constructive_convexity_verification.md history