Theorem Set.one_mem_centralizer

Modification history