Support @polynomial_ring(QQ, 2)
wanted in #1762 (#1763)
#9
Annotations
1 warning and 1 notice
|
|
This job succeeded
Loading