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 2023 at 11:08 UTC
How can I use Set operations in lean4? Thanks!
Last updated: Dec 20 2023 at 11:08 UTC