Theorem ProperCone.mem_innerDual

Modification history