pub fn lambda_class_ty() -> Expr
LambdaClass : ModuliCurvesType → Nat → ChowGroup λ_i = c_i(E) where E = Hodge bundle over M̄_{g,n}.
LambdaClass : ModuliCurvesType → Nat → ChowGroup