Theorem IsExposed.eq_inter_halfSpace

Modification history