Theorem Set.vsub_iInter₂_subset

Modification history