Theorem IsExposed.eq_inter_halfspace'

Modification history