Summary
- Merged;
- merged
- Unified the order of zeros and poles; improved reasoning around non-essential singularites
The file was modified | src/HOL/Analysis/Complex_Transcendental.thy (diff) |
The file was modified | src/HOL/Analysis/Conformal_Mappings.thy (diff) |
The file was modified | src/HOL/Analysis/Connected.thy (diff) |
The file was modified | src/HOL/Deriv.thy (diff) |
The file was modified | src/HOL/Filter.thy (diff) |
The file was modified | src/HOL/Limits.thy (diff) |
The file was modified | src/HOL/Real_Vector_Spaces.thy (diff) |
The file was modified | src/HOL/Topological_Spaces.thy (diff) |