PR !4#11800: feat : Define KappaLindelöf spaces

Stream: triage

[Random Issue Bot]

Today I chose PR 11800 for discussion!

feat : Define KappaLindelöf spaces
Created by @Josha Dekker (@JADekker) on 2024-03-30
Labels: merge-conflict, t-topology, awaiting-zulip

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

[Josha Dekker]

Looks like I won the triage lottery today! I haven’t had time for lean in the past weeks/months, and I don’t foresee time in the next two months due to teaching & research obligations. Happy to let someone else adopt this one, otherwise I’ll return to it once I have time!

[Ruben Van de Velde]

@Josha Dekker would you mind posting the above to the pr as well?

[Josha Dekker]

Not at all, I've just done so! I also indicated that the same applies for a follow-up PR. If it hasn't been tackled by the time my teaching obligations reduce, I'll reply to the PR to give a few days' notice!