Theorem Disjoint.inter_right

Modification history