{
  "normal_form": "SI.18",
  "inverse": "SI.26",
  "finite_relation_rows": "k+m",
  "Laurent_sample": {
    "range": [
      -4,
      4
    ],
    "dimension": 2,
    "negative_set": "I={i: exponent_i<0}",
    "zero_is_nonnegative": true
  },
  "A": [
    [
      "1/3",
      "1"
    ],
    [
      "0",
      "1/3"
    ]
  ],
  "C2": [
    [
      "10/9",
      "-7/3"
    ],
    [
      "0",
      "10/9"
    ]
  ],
  "C2_inverse": [
    [
      "9/10",
      "189/100"
    ],
    [
      "0",
      "9/10"
    ]
  ],
  "full_head": "sum_n (-1)^n/(n!)^2 D_z^n(1/z)=exp(1/z)/z",
  "proof_tags": [
    "SI.9",
    "SI.16",
    "SI.18",
    "SI.25",
    "SI.26",
    "SI.35"
  ],
  "human_source": "Kashiwara–Kawai HolIII II.2.2.4 and III.4.9",
  "general_singular_divisor_comparison_is_not_claimed": true
}