← ファイル一覧
（保存にはログインが要ります）
0_tutorial/4_ex1.book
ヘッダ
行番号
title 2番目の定理 author admin mathel default thmel default
section 準備 word = word + section 定理 prop +結合則 := `x + (y + z) = (x + y) + z` !let goal := `x + (y + (z + w)) = ((x + y) + z) + w` thm goal -| +結合則 prf goal p-| +結合則 ;
保存にはログイン（ページ編集の権限）が要ります。