« first day (1340 days earlier)
← previous day
next day →
last day (2988 days later) »
Daniel Fischer
3:39 PM
I just noticed that we have a
countability-axioms
tag, apparently created about a week ago. I'm not sure whether that's viable or too specific. Thoughts?
Martin Sleziak
3:53 PM
It seems that
compactification
was created too, but it was
removed soon
. (And replaced by compactness.)
Well, we have
separation-axioms
, but there is certainly
more of them
.
« first day (1340 days earlier)
← previous day
next day →
last day (2988 days later) »
all rooms
Transcript for
Feb
11
Feb '16
12
Feb
14
Tagging
When should a tag be added
1
join this room
about this room
00:00
06:00
12:00
18:00
all times are UTC
site design / logo © 2024 Stack Exchange Inc;
legal
mobile