Theorem interior_halfspace

Modification history