Theorem UniqueMul.of_image_filter

Modification history