feat(Algebra/Ring): generalise and extend material about sums of squares and semireal rings#16094
Open
artie2000 wants to merge 150 commits intomasterfrom real_closed_field_dev
+141-34
Commits
Commits on Aug 19, 2024
- committed
- committed
- committed
- committed
Merge branch 'real_closed_field' of https://github.com/leanprover-community/mathlib4 into real_closed_field
committed- committed
- committed
- committed
![github-actions[bot]](https://avatars.githubusercontent.com/in/15368?v=4&size=32){kind=avatar}
Commits on Aug 20, 2024
- committed
- committed
- committed
- committed
- committed
- committed
Merge branch 'real_closed_field' of https://github.com/leanprover-community/mathlib4 into real_closed_field
committed- committed
Commits on Aug 21, 2024
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Aug 22, 2024
- committed
- committed
- committed
Merge branch 'real_closed_field' of https://github.com/leanprover-community/mathlib4 into real_closed_field_dev
committed- committed
- committed
Commits on Aug 23, 2024
- committed
- committed
- committed
- authored
- authored
- authored
- committed
- committed
Commits on Aug 24, 2024
Commits on Aug 26, 2024
- committed
- committed
- committed
- committed
- committed
Commits on Aug 27, 2024
- committed
- committed
- committed
Merge branch 'real_closed_field_dev' of https://github.com/leanprover-community/mathlib4 into real_closed_field_dev
committed- committed
- committed
- committed
Merge branch 'real_closed_field_dev' of https://github.com/leanprover-community/mathlib4 into real_closed_field_dev
committed- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Aug 29, 2024
- committed
- committed
- committed
- committed
Commits on Aug 30, 2024
- committed
Commits on Sep 5, 2024
Commits on Dec 23, 2024
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Dec 24, 2024
Merge branch 'real_closed_field_dev' of https://github.com/leanprover-community/mathlib4 into real_closed_field_dev
committed- committed
- committed
- committed
- committed
- committed
Commits on Dec 25, 2024
- committed
- committed
- committed
- committed
Commits on Dec 26, 2024
- committed
- committed
Merge branch 'real_closed_field_dev' of https://github.com/leanprover-community/mathlib4 into real_closed_field_dev
committed- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Dec 27, 2024
Commits on Jan 4, 2025
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Jan 6, 2025
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Jan 7, 2025
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed