Theorem closure_open_halfspace

Modification history