Theorem Disjoint.frontier_left

Modification history