| Naef-{ | hide text |
| 190725-084211: | Inductive proof of the fundamental theorem. |
| 180514-145440: | Discussion at the Simons Center (4). |
| 180514-145439: | Discussion at the Simons Center (3). |
| 180514-145438: | Discussion at the Simons Center (2). |
| 180514-145437: | Discussion at the Simons Center. |
| } |