Theorem disjointed_eq_inter_compl

Modification history