Theorem Set.one_mem_pow

Modification history