Theorem Set.vsub_subset_vsub

Modification history