Theorem Set.one_mem_center

Modification history