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: Dec 20 2023 at 11:08 UTC
A message was moved here from #mathlib4 > => notation by Heather Macbeth.
Last updated: Dec 20 2023 at 11:08 UTC