Theorem closure_halfspace

Modification history