Zulip Chat Archive
Stream: maths
Topic: closure operators
Reid Barton (Oct 20 2018 at 01:56):
We don't have closure operators do we? I think Mario was talking about them in Orsay...
Last updated: Feb 28 2026 at 14:05 UTC
We don't have closure operators do we? I think Mario was talking about them in Orsay...
Last updated: Feb 28 2026 at 14:05 UTC