Theorem Finset.vsub_mem_vsub

Modification history