Theorem ProperCone.pointed_zero

Modification history