Theorem Set.vsub_subset_vsub_right

Modification history