2014年7月5日

とりあえずTodd類完成 局所化原理による導出は書き初め。