thm_check
thm_check
\n =
Prover問い合わせ