Algebraic closure definition and existence axiom.#4554
Open
metakunt wants to merge 15 commits intometamath:developfrom metakunt:alg-closure
+71
Commits
Commits on Jan 11, 2025
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Jan 12, 2025
- committed