我想在'' \declaretheorem ''中创建一个特殊名称

Question

\documentclass[12pt]{article}
\usepackage{lmodern}
\usepackage{amsmath}
\usepackage{amssymb}
\usepackage{mathrsfs}
\usepackage{amsthm}
\usepackage{mathtools}
\usepackage{hyperref}
\usepackage[utf8]{inputenc}
\usepackage[T1]{fontenc} 
\usepackage[french]{babel}
\usepackage[utf8]{inputenc}
\usepackage[top=3cm, bottom=3cm, left=3cm, right=3cm]{geometry}


\usepackage[x11names]{xcolor}
\usepackage{framed, etoolbox}
\colorlet{framecolor}{VioletRed4}
\colorlet{shadecolor}{LavenderBlush2!60}
\usepackage{thmtools} %
\usepackage{titlesec}%%%%%% <---------addendum
\titleformat{\section}%%%%%% <---------addendum
{\color{magenta}\normalfont\Large\bfseries}%%%%%% <---------addendum
{\color{magenta}\thesection}{1.5em}{}%%%%%% <---------addendum
\makeatletter
\define@key{thmdef}{frame}[{}]{%
 \thmt@trytwice{}{%
 \RequirePackage{framed}%
 \RequirePackage{thm-patch}%
    \def\FrameCommand{\fcolorbox{framecolor}{shadecolor}}
 \addtotheorempreheadhook[\thmt@envname]{%
 \begin{framed}}%
 \addtotheorempostfoothook[\thmt@envname]{\end{framed}}%
 }%
}
\makeatother




\usepackage{thmtools}




\declaretheorem[numberwithin=section, frame]{definition}

\declaretheorem[frame, sharenumber=definition,style=mystyle]{proposition}
\AtBeginEnvironment{proposition}{\colorlet{framecolor}{DarkSeaGreen4}
    \colorlet{shadecolor}{Yellow1!15}}
\newcommand{\myarrow}[1][1cm]{\mathrel{%
   \hbox{\rule[\dimexpr\fontdimen22\textfont2-.2pt\relax]{#1}{.4pt}}%
   \mkern-4mu\hbox{\usefont{U}{lasy}{m}{n}\symbol{41}}}}

\makeatletter

\setbox0\hbox{$\xdef\scriptratio{\strip@pt\dimexpr
    \numexpr(\sf@size*65536)/\f@size sp}$}

\newcommand{\myscriptarrow}[1][1cm]{{%
    \hbox{\rule[\scriptratio\dimexpr\fontdimen22\textfont2-.2pt\relax]
               {\scriptratio\dimexpr#1\relax}{\scriptratio\dimexpr.4pt\relax}}%
   \mkern-4mu\hbox{\let\f@size\sf@size\usefont{U}{lasy}{m}{n}\symbol{41}}}}

\makeatother


\begin{document}


\begin{definition}

    {Soit $f\colon G \rightarrow G$ une application linéaire alors:%%%%%% <---------edit
   \[\forall x,y\in G,\ f(x)=f(y)\implies x=y\]}
    \end{definition}
     \begin{proposition}
        Soit $f\colon G \myarrow[.7cm]G$ une application linéaire alors:%%%%%% <---------edit
    \[\forall x,y\in G,\ f(x)=f(y)\iff x=y\]
    \end{proposition}

\end{document}

Answer 1

如果我理解正确的话，答案可能是这样的：

\declaretheorem[numberwithin=section, frame,name=la definitione]{definition}

（再次）直接来自文档......http://tug.ctan.org/macros/latex/exptl/thmtools/thmtools.pdf（1.1 基本定义）

为了避免每次都查找密钥的名称，您还可以使用“title=”和“heading=”而不是“name=”；它们的作用完全相同，希望其中一个能让您轻松记住。

\documentclass[12pt]{article}
\usepackage{lmodern}
\usepackage{amsmath}
\usepackage{amssymb}
\usepackage{mathrsfs}
\usepackage{amsthm}
\usepackage{mathtools}
\usepackage{hyperref}
\usepackage[utf8]{inputenc}
\usepackage[T1]{fontenc} 
\usepackage[french]{babel}
\usepackage[utf8]{inputenc}
\usepackage[top=3cm, bottom=3cm, left=3cm, right=3cm]{geometry}


\usepackage[x11names]{xcolor}
\usepackage{framed, etoolbox}
\colorlet{framecolor}{VioletRed4}
\colorlet{shadecolor}{LavenderBlush2!60}
\usepackage{thmtools} %
\usepackage{titlesec}%%%%%% <---------addendum
\titleformat{\section}%%%%%% <---------addendum
{\color{magenta}\normalfont\Large\bfseries}%%%%%% <---------addendum
{\color{magenta}\thesection}{1.5em}{}%%%%%% <---------addendum
\makeatletter
\define@key{thmdef}{frame}[{}]{%
    \thmt@trytwice{}{%
        \RequirePackage{framed}%
        \RequirePackage{thm-patch}%
        \def\FrameCommand{\fcolorbox{framecolor}{shadecolor}}
        \addtotheorempreheadhook[\thmt@envname]{%
            \begin{framed}}%
            \addtotheorempostfoothook[\thmt@envname]{\end{framed}}%
    }%
}
\makeatother




\usepackage{thmtools}




\declaretheorem[numberwithin=section, frame,name=la definitione]{definition}

\declaretheorem[frame, sharenumber=definition,style=mystyle, name=el propo]{proposition}
\AtBeginEnvironment{proposition}{\colorlet{framecolor}{DarkSeaGreen4}
    \colorlet{shadecolor}{Yellow1!15}}
\newcommand{\myarrow}[1][1cm]{\mathrel{%
        \hbox{\rule[\dimexpr\fontdimen22\textfont2-.2pt\relax]{#1}{.4pt}}%
        \mkern-4mu\hbox{\usefont{U}{lasy}{m}{n}\symbol{41}}}}

\makeatletter

\setbox0\hbox{$\xdef\scriptratio{\strip@pt\dimexpr
        \numexpr(\sf@size*65536)/\f@size sp}$}

\newcommand{\myscriptarrow}[1][1cm]{{%
        \hbox{\rule[\scriptratio\dimexpr\fontdimen22\textfont2-.2pt\relax]
            {\scriptratio\dimexpr#1\relax}{\scriptratio\dimexpr.4pt\relax}}%
        \mkern-4mu\hbox{\let\f@size\sf@size\usefont{U}{lasy}{m}{n}\symbol{41}}}}

\makeatother


\begin{document}


    \begin{definition}

        {Soit $f\colon G \rightarrow G$ une application linéaire alors:%%%%%% <---------edit
            \[\forall x,y\in G,\ f(x)=f(y)\implies x=y\]}
    \end{definition}
    \begin{proposition}
        Soit $f\colon G \myarrow[.7cm]G$ une application linéaire alors:%%%%%% <---------edit
        \[\forall x,y\in G,\ f(x)=f(y)\iff x=y\]
    \end{proposition}

\end{document}

这：