Theorem Set.ofNat_mem_center

Modification history