\usepackage{color,enumitem}
\usepackage{amsmath,amssymb}
\usepackage[dvipdfmx]{graphicx}
\usepackage{amscd,tikz-cd}
\usetikzlibrary{calc,angles,quotes}
\usepackage{mathrsfs}
\usepackage{amsthm}
\usepackage{mathtools}
\usepackage{tabularx}
\usepackage{centernot}
\usepackage{ascmac}
\usepackage{tikz}
\usepackage[colorlinks=true, urlcolor=blue, linkcolor=blue, citecolor=blue]{hyperref}
\usepackage{pxjahyper}
\usepackage{cleveref}
\usepackage[style=alphabetic,sorting=nyt]{biblatex}
\renewbibmacro{in:}{}
\usepackage{youngtab}
\usepackage{ytableau}
\usepackage{mathdots}
\usepackage{subcaption}
\usepackage[all]{xy}
\usetikzlibrary{cd}
\usetikzlibrary{calc}
\usetikzlibrary{arrows.meta}
\addbibresource{bib/CommonBiblio20240922.bib}
\graphicspath{{assets/}{legacy/}}

\makeatletter
\let\ToposOriginalIncludegraphics\includegraphics
\renewcommand{\includegraphics}[2][]{%
  \IfFileExists{#2}{%
    \ToposOriginalIncludegraphics[#1]{#2}%
  }{%
    \IfFileExists{assets/#2}{%
      \ToposOriginalIncludegraphics[#1]{assets/#2}%
    }{%
      \IfFileExists{legacy/#2}{%
        \ToposOriginalIncludegraphics[#1]{legacy/#2}%
      }{%
        \fbox{\texttt{missing image: #2}}%
      }%
    }%
  }%
}
\makeatother

\newcommand{\missinggraphic}[2]{%
  \begingroup
  \setlength{\fboxsep}{0.8em}%
  \fbox{%
    \begin{minipage}{0.7\linewidth}
      \centering
      \texttt{#1}\par
      {\small #2}%
    \end{minipage}%
  }%
  \endgroup
}

\theoremstyle{plain}
\newtheorem{theorem}{Theorem}[section]
\newtheorem{proposition}[theorem]{Proposition}
\newtheorem{lemma}[theorem]{Lemma}
\newtheorem{corollary}[theorem]{Corollary}
\newtheorem{todo}[theorem]{Todo}
\newtheorem{conjecture}[theorem]{Conjecture}
\newtheorem{fact}[theorem]{Fact}
\newtheorem{problem}[theorem]{Problem}

\theoremstyle{definition}
\newtheorem{example}[theorem]{Example}
\newtheorem{definition}[theorem]{Definition}
\newtheorem{remark}[theorem]{Remark}
\newtheorem{notation}[theorem]{Notation}
\newtheorem{question}[theorem]{Question}
\newtheorem{answer}[theorem]{Answer}
\newtheorem{idea}[theorem]{Idea}
\newtheorem{context}[theorem]{Context}

\newcommand{\dq}[1]{``#1"}
\newcommand{\internalmemoref}[1]{}
\newcommand{\memo}[1]{\PackageWarning{topos}{Move internal memo text to tex/private/internal-memos.tex}}
\newcommand{\para}[1]{\paragraph{\textbf{#1}}}
\newcommand{\N}{\mathbb{N}}
\newcommand{\Z}{\mathbb{Z}}
\newcommand{\Q}{\mathbb{Q}}
\newcommand{\R}{\mathbb{R}}
\newcommand{\C}{\mathbb{C}}
\newcommand{\abs}[1]{\left|#1\right|}
\newcommand{\demph}[1]{\textbf{#1}}
\newcommand{\Pow}{\mathcal{P}}
\newcommand{\End}{\mathrm{End}}
\newcommand{\F}{\mathbb{F}}
\newcommand{\B}{\mathcal{B}}
\newcommand{\Gal}{\mathrm{Gal}}
\newcommand{\Stab}{\mathrm{Stab}}
\DeclareMathOperator{\Map}{Map}