Theorem IsExposed.eq_inter_halfspace

Modification history