>>247
>グロタンディーク宇宙をどう定義するかは、人さまざまなれど
え???
>>234の定義以外の定義があると? 具体的に示して