| Sun, 14 Apr 2019 18:13:46 +0200 | wenzelm | afford more examples; | changeset | files |
| Sun, 14 Apr 2019 17:37:05 +0200 | wenzelm | obsolete -- this is quite fast; | changeset | files |
| Sun, 14 Apr 2019 13:32:26 +0100 | paulson | Group theory developments towards proving algebraic closure (by de Vilhena and Baillon) | changeset | files |