Theorem Finset.forall_mem_image

Modification history