Sat, 16 Jun 2018 07:13:17 +0200 | nipkow | moved lemmas from AFP | changeset | files |
Fri, 15 Jun 2018 13:52:05 +0100 | paulson | merged | changeset | files |
Fri, 15 Jun 2018 12:18:06 +0100 | paulson | more on infinite products. Also subgroup_imp_subset -> subgroup.subset | changeset | files |