Theorem IsExposed.eq_inter_halfSpace'

Modification history