冪等完備な加法圏は有限生成射影加群のなす圏である

Ryuji Mishima【Mathlog 代表】

@Ryuji

Alwe

@Alwe

サクラ

@sakuramath