do we have the condensation points of a topological space? thanks

Hi, All,

I'm Dean. I'm new here and excited to learn more about Isabelle.

Can someone point me towards documentation for varieties?

Also, can someone point me towards wherever the Whitehead theorem is proven in Coq?

Last updated: Dec 07 2023 at 16:21 UTC