Theorem Set.Finite.ciSup_mem_image

Modification history