Zulip Chat Archive

Stream: mathlib4

Topic: Why is arithmetic in ℚ irreducible?

Notification Bot (Nov 27 2023 at 01:25):

This topic was moved to #std4 > Why is arithmetic in ℚ irreducible? by Scott Morrison.

Last updated: Dec 20 2023 at 11:08 UTC