Fri, 17 Apr 2015 14:30:02 +0200 | wenzelm | merged; | changeset | files |
Fri, 17 Apr 2015 11:52:36 +0200 | Rene Thiemann | finprod takes 1 in case of infinite sets => remove several "finite A" assumptions | changeset | files |
Fri, 17 Apr 2015 13:01:09 +0200 | traytel | (low importance) NEWS | changeset | files |