\startlocaldefs
    \theoremstyle{plain}
    \numberwithin{equation}{section}
    \newtheorem{thrm}{Theorem}[section]
    \newtheorem{prop}[thrm]{Proposition}
    \newtheorem{clm}[thrm]{Claim}
    \newtheorem{cllry}[thrm]{Corollary}
    \newtheorem{lmma}[thrm]{Lemma}
    \newtheorem{remk}[thrm]{Remark}
    \newtheorem{defn}[thrm]{Definition}
    \newtheorem{exmpl}[thrm]{Example}
    \newtheorem{cond}{Standing assumption}

\endlocaldefs