generated at
半環
semiring
rig
summary
加法について可換モノイド
乗法についてモノイド
さらに分配律をみたす
Ref rig in nLab