Zulip Chat Archive
Stream: mathlib4
Topic: Topology.Algebra.Ring
Yury G. Kudryashov (Mar 02 2023 at 04:56):
I have Topology.Algebra.Ring ported (with modifications from #18532). I'm waiting for mathlib3port to catch up to make a PR.
Last updated: Dec 20 2023 at 11:08 UTC