Theorem Set.vsub_sUnion

Modification history