« first day (1979 days earlier)
← previous day
next day →
last day (2328 days later) »
Asaf Karagila
10:53 AM
I've edited the tag wiki on
real-numbers
, but I feel that this can be greatly extended. If someone is up for the job, good luck.
Martin Sleziak
@AsafKaragila Thanks for the edit. I see that
you left there
[topology]
I guess you wanted to include a link. I went with
en.wikipedia.org/wiki/Topological_space
Asaf Karagila
11:16 AM
@MartinSleziak Yeah, my bad. :)
11 hours later…
Trevor Gunn
9:57 PM
I've gone ahead and untagged everything with
sequences-monotonicity
and
linear-independence
.
« first day (1979 days earlier)
← previous day
next day →
last day (2328 days later) »
all rooms
Transcript for
Nov
10
Nov '17
12
Nov
13
Tagging
When should a tag be added
1
29
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