Theorem iInter_halfSpaces_eq

Modification history