Theorem Finset.vsub_union

Modification history