Theorem Disjoint.image

Modification history