Stream: Is there code for X?

Topic: condensation points of a topological space?

Angeliki Koutsoukou-Argyraki (Feb 21 2023 at 01:16):

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

Dean Young (Feb 22 2023 at 21:15):

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: May 31 2025 at 01:44 UTC