Theorem Set.inter_vsub_subset

Modification history