Theorem Set.zero_mem_center

Modification history