Theorem Finset.vsub_def

Modification history