Timeline for Proof of this ‘lemme connu’
Current License: CC BY-SA 3.0
2 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 2, 2017 at 2:36 | comment | added | nfdc23 | Corollary 10.12 there is a special case of EGA IV$_4$ 18.10.16 and the latter has a complete proof written, so look in that proof and ignore the proof given in SGA1 (the same advice can be applied to many things in the early exposes of SGA1, keeping in mind that EGA was among other things meant to provide a more complete treatment of that "introductory" material). | |
| Oct 2, 2017 at 1:55 | history | asked | Tomo | CC BY-SA 3.0 |