pub fn g_function_ty() -> Expr
GFunction : Nat → Type — non-normalised Eisenstein series G_k = ∑_{(c,d)≠(0,0)} (cτ+d)^{-k}.
GFunction : Nat → Type