Zulip Chat Archive
Stream: mathlib4
Topic: Set as a structure
Yury G. Kudryashov (Jul 23 2023 at 14:04):
I'm trying to turn Set into a structure in a local branch. I'll report about progress later today.
Last updated: Feb 28 2026 at 14:05 UTC
I'm trying to turn Set into a structure in a local branch. I'll report about progress later today.
Last updated: Feb 28 2026 at 14:05 UTC