Theorem Set.mk_mem_sigma

Modification history