Theorem Finset.mem_sigma

Modification history