Zulip Chat Archive

Stream: mathlib4

Topic: lean-graded-rings-supersymmetry

Notification Bot (May 30 2023 at 02:28):

This topic was moved to #maths > lean-graded-rings-supersymmetry by Heather Macbeth.

Last updated: May 02 2025 at 03:31 UTC