Theorem Set.right_mem_Ico

Modification history