Theorem Disjoint.of_image

Modification history