Summary
- New theory about Winding Numbers
The file was added | src/HOL/Analysis/Winding_Numbers.thy |
The file was modified | src/HOL/Analysis/Analysis.thy (diff) |
The file was modified | src/HOL/Analysis/Conformal_Mappings.thy (diff) |
The file was added | src/HOL/Analysis/Winding_Numbers.thy |
The file was modified | src/HOL/Analysis/Analysis.thy (diff) |
The file was modified | src/HOL/Analysis/Conformal_Mappings.thy (diff) |