Zulip Chat Archive
Stream: mathlib4
Topic: !4#4890 FieldTheory.Fixed
Riccardo Brasca (Jun 09 2023 at 13:13):
I will not work on !4#4890 until probably tomorrow, it should be pretty easy to finish.
Last updated: Dec 20 2023 at 11:08 UTC
I will not work on !4#4890 until probably tomorrow, it should be pretty easy to finish.
Last updated: Dec 20 2023 at 11:08 UTC