thm_check_new

;; を改行表示

Prover問い合わせ