Theorem Set.vsub_union

Modification history