Skip to main content
9 events
when toggle format what by license comment
Jun 2 at 0:42 comment added François G. Dorais Thank you so much for this wonderful answer and your translation of Läuchli's paper!
May 24 at 10:22 history edited Guozhen Shen CC BY-SA 4.0
added 148 characters in body
May 24 at 5:08 comment added Guozhen Shen On my homepage, there is an English translation of Läuchli's paper.
May 24 at 5:02 history edited François G. Dorais CC BY-SA 4.0
add citation
May 22 at 23:42 vote accept François G. Dorais
May 22 at 23:42 comment added François G. Dorais I got lost in the stack of 2s... Thanks for pointing out Läuchli's question.
May 22 at 18:33 comment added Guozhen Shen @François The right hand side of the second iff implies the right hand side of the first iff.
May 22 at 18:19 comment added François G. Dorais I'm not sure I follow the second iff here. Could you explain?
May 22 at 16:23 history answered Guozhen Shen CC BY-SA 4.0