Theorem Finset.singleton_vsub_singleton

Modification history