This repository was archived by the owner on Feb 1, 2023. It is now read-only.
Commit 462db8d
Jonathan Kliem
stacking is well defined for rationals (and in case of base ring cdd reals as well)
1 parent 8853122 commit 462db8d
1 file changed
+1
-1
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
4343 | 4343 | | |
4344 | 4344 | | |
4345 | 4345 | | |
4346 | | - | |
| 4346 | + | |
4347 | 4347 | | |
4348 | 4348 | | |
4349 | 4349 | | |
| |||
0 commit comments