Theorem Set.right_mem_Icc

Modification history