# Regularity and solvability of linear differential operators in Gevrey spaces: omitted proofs

## TL;DR

This paper provides detailed proofs for certain results related to the regularity and solvability of linear differential operators in Gevrey spaces, complementing a previous article and ensuring completeness.

## Contribution

It supplies the omitted proofs for key theorems in a prior work, clarifying the mathematical foundations of differential operators in Gevrey spaces.

## Key findings

- Proofs confirm regularity properties of differential operators in Gevrey spaces.
- Results align with existing literature, with minor modifications.
- Completes the theoretical framework for solvability in Gevrey spaces.

## Abstract

This is an addendum to a previous article, which aims to provide the proofs of some results in that paper (Theorem 7.5 and Proposition 9.15) which were removed from its final version. The reason for such omission is that these proofs follow quite closely others already present in the literature, with minor modifications. I make them publicly available for the sake of completeness.