Zulip Chat Archive

Stream: lean4

Topic: Trouble with sets

Notification Bot (Oct 11 2023 at 07:43):

This topic was moved to #mathlib4 > Trouble with sets by Scott Morrison.

Last updated: May 02 2025 at 03:31 UTC