Skip to content

Add some specialized methods for universal polynomials#2013

Merged
fingolfin merged 4 commits intoNemocas:masterfrom SoongNoonien:UnivPolyFeb 7, 2025

Commits

Commits on Jan 30, 2025

Commits on Feb 6, 2025