Theorem Set.right_mem_Iic

Modification history