generated at
2/18/2025, 1:46:43 AM
scrap:極限 - 壱大整域
http://alg-d.com/math/kan_extension/limit.pdf
cripped at 2019/08/21 6:45
極限
余極限
完備
余完備
有限完備
有限余完備
#壱大整域