put convex.v lower in the file hier#1850

affeldt-aist merged 1 commit intomath-comp:mastermath-comp/analysis:masterfrom

affeldt-aist:split_convexaffeldt-aist/analysis:split_convexCopy head branch name to clipboard