Theorem Finset.vsub_nonempty

Modification history