«psythea»
Profile
Activities
Memoranda
Cetera
メモ
вести と везти について
Seesaw theorem の証明に関する備忘録
巡回加群の Tor, Ext による平坦性・入射性・射影性判定
全単射な étale 被覆は同型か?
平面曲線の変曲点
圏上の前層に関する備忘録
準 Abel 多様体の完全列はその torus/Abelian part の完全列を導く
Nori と Ayoub のモチーフ論的 Galois 群の構成
MusicXML で楽譜を出力する