1 paper · 1 filter
Thierry Coquand
The goal of this note is to provide a constructive version of the proof of local structure of etale algebras.