Commit 4892bf9
committed
Weaker ---> stronger
Thanks to David Roberts
https://stacks.math.columbia.edu/tag/0ETA#comment-54191 parent 1dc896d commit 4892bf9
1 file changed
Lines changed: 1 addition & 1 deletion
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
3294 | 3294 | | |
3295 | 3295 | | |
3296 | 3296 | | |
3297 | | - | |
| 3297 | + | |
3298 | 3298 | | |
3299 | 3299 | | |
3300 | 3300 | | |
| |||
0 commit comments