Theorem Set.biInter_finsetSigma_univ'

Modification history