Skip to main content
6 events
when toggle format what by license comment
Sep 22, 2022 at 15:15 answer added Maxime Ramzi timeline score: 7
Sep 22, 2022 at 15:12 vote accept Tim Campion
Sep 22, 2022 at 15:08 answer added Neil Strickland timeline score: 10
Sep 22, 2022 at 14:46 history edited Tim Campion CC BY-SA 4.0
added 872 characters in body
Sep 22, 2022 at 14:40 history edited LSpice CC BY-SA 4.0
Name of Thomason's theorem reference; TeX -> Unicode dash
Sep 22, 2022 at 14:38 history asked Tim Campion CC BY-SA 4.0