Theorem Set.union_vsub

Modification history