Changes to Schedule/ProofCafe_23
- 2012-10-05 08:01:03 UTC (): 23回log
- 2012-09-24 13:28:12 UTC (): ev_plus4 mo
- 2012-09-22 12:28:05 UTC (): 問題の名前を追加しました。
- 2012-09-22 12:24:26 UTC (): 最後からひとつ前の問題です。テキストにある補題SSev_evenを使用しました。
- 2012-09-22 12:22:08 UTC (): 22回め最後（からひとつ前）の問題です。