Theorem Filter.image_mem_of_mem_comap

Modification history