| Tue, 10 May 2016 22:25:06 +0200 | wenzelm | find dynamic facts as well, but static ones are preferred; | changeset | files |
| Tue, 10 May 2016 15:48:37 +0200 | immler | some slight generalizations | changeset | files |
| Tue, 10 May 2016 14:04:44 +0100 | paulson | Theory of polyhedra: faces, extreme points, polytopes, and the Krein–Milman | changeset | files |