Tue, 29 Aug 2017 16:24:14 +0200 | eberlm | Some small lemmas about polynomials and FPSs | changeset | files |
Tue, 29 Aug 2017 17:01:11 +0200 | nipkow | tuned names | changeset | files |
Tue, 29 Aug 2017 16:54:54 +0200 | nipkow | simpler definition | changeset | files |