Summary
- Some tidying up (mostly regarding summations from 0)
- tidied up Infinite_Products
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) |
The file was modified | src/HOL/Analysis/Infinite_Products.thy (diff) |