vEnhance/napkin/Issues

fix(alg-nt): use irreducibility rather than minpoly for contradiction…

#298Pull Requestwillwam845 创建于 2026-01-12

W

willwam845commented

… in proof of irreducible polynomials have distinct roots

合并状态:未合并关闭于 2026-01-16 3 条评论