Theorem Set.vsub_empty

Modification history