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: Dec 20 2023 at 11:08 UTC
We don't have closure operators do we? I think Mario was talking about them in Orsay...
Last updated: Dec 20 2023 at 11:08 UTC