Theorem Set.singleton_vsub_singleton

Modification history