Skip to main content
3 events
when toggle format what by license comment
Feb 8, 2019 at 9:48 vote accept Math Lover
Oct 12, 2018 at 9:55 history edited Peter LeFanu Lumsdaine CC BY-SA 4.0
fixed typo (and added another emphasis while I’m editing)
Oct 12, 2018 at 8:27 history answered Peter LeFanu Lumsdaine CC BY-SA 4.0