Zulip Chat Archive
Stream: new members
Topic: euclidean domains
Scott Morrison (Mar 10 2018 at 14:40):
A new contributor to mathlib (@Louis Carlin) has just sent in an initial PR for euclidean domains.
Last updated: Dec 20 2025 at 21:32 UTC
A new contributor to mathlib (@Louis Carlin) has just sent in an initial PR for euclidean domains.
Last updated: Dec 20 2025 at 21:32 UTC