Skip to content

Rename UniversalPolynomialRing to universal_polynomial_ring (#1625) #98

Rename UniversalPolynomialRing to universal_polynomial_ring (#1625)

Rename UniversalPolynomialRing to universal_polynomial_ring (#1625) #98

Annotations

1 warning

[Nemo]#release - ubuntu-latest, julia ~1.10.0-0

succeeded Feb 28, 2024 in 9m 22s