Wed, 13 Feb 2013 17:41:27 +0100 | immler | merged | changeset | files |
Wed, 13 Feb 2013 16:35:07 +0100 | immler | complete metric for formal power series | changeset | files |
Wed, 13 Feb 2013 16:35:07 +0100 | immler | eliminated union_closed_basis; cleanup Fin_Map | changeset | files |