Zulip Chat Archive Stream: lean4 dev Topic: A detail of `kabstract` 𝚠𝚘𝚓𝚌𝚒𝚎𝚌𝚑 𝚗𝚊𝚠𝚛𝚘𝚌𝚔𝚒 (Feb 25 2025 at 02:04): (deleted) Last updated: May 02 2025 at 03:31 UTC