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