{
  "proof_locators": [
    "Section5.52 AM.5\u2013AM.15"
  ],
  "matrix_A": [
    [
      0,
      1
    ],
    [
      0,
      0
    ]
  ],
  "L": "t I-(A+I) h",
  "row_identity": "(t tau,0)=(tau,0)L+(0,1)",
  "positive_bounds": "every eta>0, on one fixed coefficient domain",
  "negative_bounds": "one factorial constant for the full negative tail",
  "arbitrary_holonomic_real_comparison_asserted": false,
  "free_human_context": "https://www.kurims.kyoto-u.ac.jp/~kenkyubu/kashiwara/HolIII.pdf"
}