Theorem Set.mul_mem_center

Modification history