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: Feb 28 2026 at 14:05 UTC