Zulip Chat Archive
Stream: mathlib4
Topic: merge powers
Notification Bot (Nov 23 2022 at 13:35):
A message was moved here from #mathlib4 > => notation by Heather Macbeth.
Last updated: May 02 2025 at 03:31 UTC
A message was moved here from #mathlib4 > => notation by Heather Macbeth.
Last updated: May 02 2025 at 03:31 UTC