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: May 02 2025 at 03:31 UTC
I will not work on !4#4890 until probably tomorrow, it should be pretty easy to finish.
Last updated: May 02 2025 at 03:31 UTC