ABCShow!

当たり前のことをバカにしないでちゃんと証明するシリーズ．
  • 論理式
  • 集合
  • 写像