Theorem Disjoint.inter_left

Modification history