Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. Some tidying up (mostly regarding summations from 0)
  2. tidied up Infinite_Products
Changeset 68077:ee8c13ae81e9 by paulson _lp15@cam.ac.uk_:
Some tidying up (mostly regarding summations from 0)
The file was modified src/HOL/Analysis/Cartesian_Euclidean_Space.thy (diff)
The file was modified src/HOL/Analysis/Starlike.thy (diff)
The file was modified src/HOL/Analysis/Weierstrass_Theorems.thy (diff)
The file was modified src/HOL/Analysis/Winding_Numbers.thy (diff)
The file was modified src/HOL/Binomial.thy (diff)
The file was modified src/HOL/NthRoot.thy (diff)
The file was modified src/HOL/Transcendental.thy (diff)
Changeset 68076:315043faa871 by paulson _lp15@cam.ac.uk_:
tidied up Infinite_Products
The file was modified src/HOL/Analysis/Infinite_Products.thy (diff)