« first day (2192 days earlier)
← previous day
next day →
last day (2159 days later) »
Martin Sleziak
9:50 AM
@MartinSleziak Daniel Fischer has dealt with the gersgorin/gershgorin tag:
chat.stackexchange.com/transcript/message/45127735#45127735
1
A:
Renaming the "gersgorin-sets" tag
It is done. I even resisted the temptation to translate the name and call it hartshorne-sets.
« first day (2192 days earlier)
← previous day
next day →
last day (2159 days later) »
all rooms
Transcript for
Jun
9
Jun '18
13
Jun
17
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