Theorem Set.inv_mem_center₀

Modification history