Theorem closure_halfSpace

Modification history