Theorem Set.smul_mem_centralizer

Modification history