Theorem Finset.mem_vsub

Modification history