Def ProperCone.positive

Modification history