Theorem Disjoint.inter_eq

Modification history