algebraic varieties & complex manifolds

Stream: lean4

[Dean Young]

Do we have algebraic varieties? Do we have complex manifolds?

[Oliver Nash]

Have you looked at the documentation?

[Oliver Nash]

(Roughly speaking the answers are "no" and "yes", respectively.)

[Oliver Nash]

Oh wait, this is the Lean 4 stream! I think this thread should be moved but in any case, I now wonder if you were asking about Mathlib3 or Mathlib4. In the latter the answers are "no" and "no".