Theorem Set.Finite.ciInf_mem_image

Modification history