我在环境中将“proof”改为“solution”，但它没有更新？我认为这和 babel 有关？

Question

\usepackage [english]{babel}
\usepackage [autostyle, english = american]{csquotes}
\MakeOuterQuote{"}
\addto\english{\renewcommand*{\proofname}{Solution}}

我成功更改了双引号，但不幸的是，出现了“证明”，但没有出现“解决方案”。有人能帮帮我吗？谢谢！

编辑：

\documentclass[11pt]{article}

\author{}
\date{September 18, 2020}
\title{\textbf{Homework 1}}

\usepackage{graphicx}

\usepackage{amsthm}
\usepackage{amsmath}
\usepackage{amsfonts}
\usepackage[bottom]{footmisc}


\usepackage{mathtools}

\usepackage{marginnote} %can use \marginpar{}
\usepackage[dvipsnames]{xcolor} %colors by name
\usepackage{soul} %strikeout using \st{}


\usepackage{ amssymb }
\usepackage[margin=1in]{geometry}

\usepackage[shortlabels]{enumitem}

\newtheorem{problem}{Problem}
\newtheorem{theorem}{Theorem}
\newtheorem*{proposition}{Proposition}
\newtheorem{lemma}[theorem]{Lemma}
\newtheorem{corollary}[theorem]{Corollary}
\theoremstyle{definition}
\newtheorem{defn}[theorem]{Definition}

\newcommand{\bra}[1]{\langle #1 |}
\newcommand{\ket}[1]{| #1 \rangle}

\setlength{\parindent}{0pt}
\setlength{\parskip}{1.25ex}


\usepackage [english]{babel}
\usepackage [autostyle, english = american]{csquotes}
\MakeOuterQuote{"}
\addto\english{\renewcommand*{\proofname}{Solution}}

Answer 1

要采取行动的列表称为\captionsenglish：

\addto\captionsenglish{\renewcommand{\proofname}{Solution}}

会做。

Answer 2

对于较新版本babel（>3.51，2020-10-27），最佳选择是：

\setlocalecaption{english}{proof}{Solution}