Added "Axiom" and "Assumption" theorem environments and spanish translations for them.#13206

Draft

SrShelo wants to merge 1 commit intoquarto-dev:mainfrom

SrShelo:feature/more-theorem-types

Commits on Aug 12, 2025

Added "Axiom" and "Assumption" theorem environments. Also added the corresponding entries to _language.yml and _language-es.yml (translated by me, a native spanish speaker and math student). This w…
SrShelo
committed