Theorem Disjoint.preimage

Modification history