smeval 📖 | CompOp | 54 mathmath: ascPochhammer_smeval_neg_eq_descPochhammer, smeval_monomial_mul, smeval_commute, smeval_mul_X, Ring.choose_eq_smul, smeval_X_pow, smeval_assoc_X_pow, smeval.linearMap_apply, smeval_neg_nat, smeval_smul, smeval_sub, LaurentSeries.derivative_iterate_coeff, smeval_natCast, descPochhammer_smeval_eq_descFactorial, smeval_C, smeval_mul, Ring.factorial_nsmul_multichoose_eq_ascPochhammer, smeval_X_pow_mul, smeval_X, Ring.descPochhammer_smeval_add, aeval_eq_smeval, smeval_at_natCast, smeval_C_mul, Ring.ascPochhammer_succ_succ, BinomialRing.factorial_nsmul_multichoose, smeval_X_mul, Ring.smeval_ascPochhammer_int_ofNat, aeval_coe_eq_smeval, smeval_one, Ring.smeval_ascPochhammer_nat_cast, ascPochhammer_smeval_cast, smeval_at_zero, smeval_def, smeval_pow, Ring.smeval_ascPochhammer_neg_add, smeval_comp, smeval_monomial, smeval_X_pow_assoc, Ring.smeval_ascPochhammer_succ_neg, smeval_eq_sum, ascPochhammer_smeval_eq_eval, leval_coe_eq_smeval, eval_eq_smeval, smeval_add, Ring.smeval_ascPochhammer_neg_of_lt, Ring.descPochhammer_eq_factorial_smul_choose, Ring.descPochhammer_succ_succ_smeval, descPochhammer_smeval_eq_ascPochhammer, smeval_neg, Ring.smeval_ascPochhammer_self_neg, smeval_commute_left, smeval_zero, smeval_mul_X_pow, eval₂_smulOneHom_eq_smeval
|