Theorem Set.iInter₂_mul_subset

Modification history