Theorem Set.invOf_mem_center

Modification history