simplicial object
@zj_nj
あと今日は「背理法いるんですか」という質問があって何というかまあ確かに証明をシンプルにしたい気持ちはわかるけどこの人たち排中律はあたりまえじゃないんだなーマジ怖いなー自分疑ったこともないなーと思って震えていた
2012-03-04 03:47:19