Theorem Finset.mem_ssubsets

Modification history