Function is_factorial

  • Parameters

    • expr: U

    Returns expr is Cons & {
        __ts_sym: "MATH_FACTORIAL";
    }