▲ 0 ▼ 2026-01-07 17:56 UTC · math.AC · math.AC Local structure of etale algebras Thierry Coquand The goal of this note is to provide a constructive version of the proof of local structure of etale algebras. arXiv abstractPDF
Comments
Log in to comment, reply, and vote.
No comments yet.