Summary
- Divided Convex_Euclidean_Space.thy in half, creating new theory Starlike
The file was added | src/HOL/Analysis/Starlike.thy |
The file was modified | src/HOL/Analysis/Continuous_Extension.thy (diff) |
The file was modified | src/HOL/Analysis/Convex_Euclidean_Space.thy (diff) |