Zulip Chat Archive

Stream: lean4

Topic: open scoped UInt64.CommRing

Notification Bot (Jul 27 2025 at 18:47):

This topic was moved to #mathlib4 > open scoped UInt64.CommRing by Eric Wieser.

Last updated: Dec 20 2025 at 21:32 UTC