« first day (3 days earlier)
← previous day
next day →
last day (4596 days later) »
Martin Sleziak
13:00
number
is at 18 questions at the moment.
9 hours later…
Eugene
21:44
should we create a new tag for induction?
@HenningMakholm suggests creating a new tag for transfinite induction
also i created a new tag called valued-fields.
« first day (3 days earlier)
← previous day
next day →
last day (4596 days later) »
all rooms
Transcript for
Jun
13
Jun '12
15
Jun
16
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 © 2025 Stack Exchange Inc;
legal
mobile