Oddbean new post about | logout
▲ ▼
鹿沼 | 18 days ago (raw) | full thread 
 ベーシック圏論と加群十話借りた