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: May 02 2025 at 03:31 UTC
How can I use Set operations in lean4? Thanks!
Last updated: May 02 2025 at 03:31 UTC