Theorem ProperCone.mem_toPointedCone

Modification history