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: Dec 20 2023 at 11:08 UTC