su00000
Results
3
comments of
su00000
> Sorry, one last thing: can you add a `TODO` saying that we can take `s` in the final theorems equal to the Krull dimension of `R`? Sure