Zulip Chat Archive
Stream: new members
Topic: How can I use Set operations in lean4? Thanks!
li sheng (Sep 13 2022 at 17:51):
How can I use Set operations in lean4? Thanks!
Last updated: Dec 20 2025 at 21:32 UTC
How can I use Set operations in lean4? Thanks!
Last updated: Dec 20 2025 at 21:32 UTC