Zulip Chat Archive Stream: new members Topic: lean4 elementary import question Kevin Sullivan (Sep 05 2023 at 23:04): (deleted) Last updated: Dec 20 2023 at 11:08 UTC