Theorem Set.vsub_nonempty

Modification history