Theorem Disjoint.inter_right'

Modification history