Skip to main content
4 events
when toggle format what by license comment
May 21, 2021 at 13:08 comment added Jochen Glueck Thanks a lot for the reference, and in particular for the additional information in your answer!
May 21, 2021 at 12:58 vote accept Jochen Glueck
May 21, 2021 at 6:59 history edited Jochen Wengenroth CC BY-SA 4.0
Grothendieck added
May 20, 2021 at 20:21 history answered Jochen Wengenroth CC BY-SA 4.0