Skip to content
Back to pull request #16094

[Merged by Bors] - feat(Algebra/Ring): generalise and extend material about sums of squares and semireal rings #3850

Sign in to view logs

[Merged by Bors] - feat(Algebra/Ring): generalise and extend material about sums of squares and semireal rings

[Merged by Bors] - feat(Algebra/Ring): generalise and extend material about sums of squares and semireal rings #3850

This job was skipped