Skip to main content
4 events
when toggle format what by license comment
Apr 4, 2018 at 7:51 comment added Samuel Mimram Thanks to you and Andrej, this comparison lemma (which I did not know) indeed seems to be what I was looking for!
Apr 4, 2018 at 7:49 vote accept Samuel Mimram
Apr 3, 2018 at 16:28 history edited Simon Henry CC BY-SA 3.0
added 4 characters in body
Apr 3, 2018 at 16:20 history answered Simon Henry CC BY-SA 3.0