thm_check_new
thm_check_new
\n =
Prover問い合わせ