IFPH
— 練習問題 3.2.2
練習問題 3.2.2
⊕
が左単位元
a
および右単位元
b
を持つなら,
a=b
であることを証明せよ.
a = { b は右単位元 } a ⊕ b = { a は左単位元 } b
Last update 2012-11-17
HOME
プログラミング環境
Haskellの情報源
正誤表
コメント
© 2012-2013 Nobuo Yamashita all rights reserved.