Theorem Set.vsub_singleton

Modification history