Mon, 09 Jan 2017 19:13:49 +0100 | haftmann | gcd/lcm on finite sets | changeset | files |
Mon, 09 Jan 2017 18:53:20 +0100 | haftmann | moved some lemmas to appropriate places | changeset | files |
Mon, 09 Jan 2017 18:53:06 +0100 | haftmann | slightly generalized type class hierarchy concerning unit factors, to allow for lean polynomial normalization | changeset | files |