Theorem Set.image_compl_eq_range_diff_image

Modification history