∪じゃなくて∨

9:14 AM

それはそうとして、論理和と排他的論理和と和集合とsum typeの関係はどうなってるんだろう？と。 (edited)