Comments on: Grothendieck’s gribouillis (5) https://lievenlebruyn.github.io/neverendingbooks/grothendiecks-gribouillis-5/ Wed, 17 May 2023 11:43:36 +0000 hourly 1 https://wordpress.org/?v=6.6.1 By: Jason Starr https://lievenlebruyn.github.io/neverendingbooks/grothendiecks-gribouillis-5/#comment-154 Wed, 17 May 2023 11:43:36 +0000 http://www.neverendingbooks.org/?p=11334#comment-154 That is good news indeed.

]]>