Theorem closure_open_halfSpace

Modification history