issue !4#16890: smooth morphisms of schemes and étale fun...

Stream: triage

[Random Issue Bot]

Today I chose issue #16890 for discussion!

smooth morphisms of schemes and étale fundamental group
Created by @Christian Merten (@chrisflav) on 2024-09-17
Labels: t-algebraic-geometry, t-algebra

Is this issue still relevant? Any recent updates? Anyone making progress?

[Kevin Buzzard]

Very relevant!