Theorem Set.biInter_finsetSigma_univ

Modification history