It takes as innermost argument a degree and then denotes (the characteristic function of) a set of ... [[manyJ = Xd e Dcard.f: fCard e D<e,t).Xgcard.
確定! 回上一頁