\ProvidesDictionary{translator-theorem-dictionary}{Spanish}

\providetranslation{Comments}{Comentarios}
\providetranslation{comments}{comentarios}
\providetranslation{Comment}{Comentario}
\providetranslation{comment}{comentario}
\providetranslation{Corollaries}{Corolarios}
\providetranslation{corollaries}{corolarios}
\providetranslation{Corollary}{Corolario}
\providetranslation{corollary}{corolario}
\providetranslation{Definitions}{Definiciones}
\providetranslation{definitions}{definiciones}
\providetranslation{Definition}{Definici\'on}
\providetranslation{definition}{definici\'on}
\providetranslation{Examples}{Ejemplos}
\providetranslation{examples}{ejemplos}
\providetranslation{Example}{Ejemplo}
\providetranslation{example}{ejemplo}
\providetranslation{Exercises}{Ejercicios}
\providetranslation{exercises}{ejercicios}
\providetranslation{Exercise}{Ejercicio}
\providetranslation{exercise}{ejercicio}
\providetranslation{Facts}{Hechos}
\providetranslation{facts}{hechos}
\providetranslation{Fact}{Hecho}
\providetranslation{fact}{hecho}
\providetranslation{Key Lemmas}{Lemas Fundamentales}
\providetranslation{key lemmas}{lemas fundamentales}
\providetranslation{Key Lemma}{Lema Fundamental}
\providetranslation{key lemma}{lema fundamental}
\providetranslation{Key Observations}{Observaciones Claves}
\providetranslation{key observations}{observaciones claves}
\providetranslation{Key Observation}{Observaci\'on Clave}
\providetranslation{key observation}{observaci\'on clave}
\providetranslation{Lemmas}{Lemas}
\providetranslation{lemmas}{lemas}
\providetranslation{Lemma}{Lemas}
\providetranslation{lemma}{lemas}
\providetranslation{Main Theorems}{Teoremas Principales}
\providetranslation{main theorems}{teoremas principales}
\providetranslation{Main Theorem}{Teorema Principal}
\providetranslation{main theorem}{teorema principal}
\providetranslation{Observations}{Observaciones}
\providetranslation{observations}{observaciones}
\providetranslation{Observation}{Observaci\'on}
\providetranslation{observation}{observaci\'on}
\providetranslation{Problems}{Problemas}
\providetranslation{problems}{problemas}
\providetranslation{Problem}{Problema}
\providetranslation{problem}{problema}
\providetranslation{Proofs}{Demostraciones}
\providetranslation{proofs}{demostraciones}
\providetranslation{Proof}{Demostración}
\providetranslation{proof}{demostración}
\providetranslation{Proof Sketch}{Bosquejo de la Demostraci\'on}
\providetranslation{Proof sketch}{Bosquejo de la demostraci\'on}
\providetranslation{proof sketch}{bosquejo de la demostraci\'on}
\providetranslation{Proof Sketches}{Bosquejos de las Demostraciones}
\providetranslation{Proof sketches}{Bosquejos de las demostraciones}
\providetranslation{proof sketches}{bosquejos de las demostraciones}
\providetranslation{Sketch of Proof}{Bosquejo de Demostraci\'on}
\providetranslation{Sketch of Proofs}{Bosquejo de Demostraci\'on}
\providetranslation{Sketch of proof}{Bosquejo de demostraci\'on}
\providetranslation{Sketch of proofs}{Bosquejo de demostraci\'ones}
\providetranslation{sketch of proof}{bosquejo de demostraci\'on}
\providetranslation{sketch of proofs}{bosquejo de demostraci\'ones}
\providetranslation{Propositions}{Proposici\'ones}
\providetranslation{propositions}{proposici\'ones}
\providetranslation{Proposition}{Proposici\'on}
\providetranslation{proposition}{proposici\'on}
\providetranslation{Remarks}{Comentarios}
\providetranslation{remarks}{comentarios}
\providetranslation{Remark}{Comentario}
\providetranslation{remark}{comentario}
\providetranslation{Solutions}{Soluci\'ones}
\providetranslation{solutions}{soluci\'ones}
\providetranslation{Solution}{Soluci\'on}
\providetranslation{solution}{soluci\'on}
\providetranslation{Theorems}{Teoremas}
\providetranslation{theorems}{teoremas}
\providetranslation{Theorem}{Teorema}
\providetranslation{theorem}{teorema}