Def convex_cone.strictly_positive

Modification history