Closed blegat closed 2 months ago
This is needed for https://github.com/jump-dev/SumOfSquares.jl/pull/355
This is needed for https://github.com/jump-dev/SumOfSquares.jl/pull/355