multiple streams one topic

Stream: Zulip meta

[Matthew Ballard]

Is the ability to have a single topic under multiple streams possible?

[Johan Commelin]

Nope, I don't think so.

[Johan Commelin]

What exactly do you have in mind?

[Matthew Ballard]

#lean4 > teaching early US ugrads f'22 is an example. It straddles two topics. The intent was for discussion of any technical issues which I why placed it #lean4 but the a lot of the content would fit #Lean for teaching .