第25回proofcafe (11/24)での改善
conjunctionのnotationが導入される直前くらいまで日本語訳を見直した。
japanese
Merge branch 'master' of github.com:sfja/sfja
ProofCafe勉強会で指摘された部分を修正