Add more syntactic sugar for polynomial ring constructors#2191
Merged
SoongNoonien merged 3 commits intoNemocas:masterfrom Dec 11, 2025
Merged
Add more syntactic sugar for polynomial ring constructors#2191SoongNoonien merged 3 commits intoNemocas:masterfrom
SoongNoonien merged 3 commits intoNemocas:masterfrom
Commits
Commits on Oct 21, 2025
Commits on Oct 22, 2025
- committed