Theorem Disjoint.closure_left

Modification history