Theorem Disjoint.exists_open_convexes

Modification history