Theorem Finset.vsub_empty

Modification history