Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. merged
  2. more on infinite products. Also subgroup_imp_subset -> subgroup.subset
Changeset 68453:febbf8f2881d by paulson:
merged
Changeset 68452:c027dfbfad30 by paulson _lp15@cam.ac.uk_:
more on infinite products. Also subgroup_imp_subset -> subgroup.subset
The file was modified src/HOL/Algebra/Coset.thy (diff)
The file was modified src/HOL/Algebra/Group.thy (diff)
The file was modified src/HOL/Algebra/Zassenhaus.thy (diff)
The file was modified src/HOL/Analysis/Infinite_Products.thy (diff)