Theorem Finset.vsub_eq_empty

Modification history