Theorem Finset.empty_vsub

Modification history