Theorem Set.vsub_subset_vsub_left

Modification history