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: May 02 2025 at 03:31 UTC