＞\@opargbegintheoremが何をしているものか
オプション引数付きの定理型環境の開始処理を担当するマクロです．
thm 環境を \newtheorem{thm}{Theorem} のように定義した場合，
\begin{thm} だけなら \@begintheorem で開始されますが，
\begin{thm}[option] とオプション引数をつけたら \@opargbegintheorem で開始されます．
# ……ということを定義自体から読み取るのが難しければ source2e.pdf（LaTeX そのものの解説文書）を参照するとよいでしょう．