Summary
- numerical bounds on pi
The file was modified | src/HOL/Filter.thy (diff) |
The file was modified | src/HOL/Limits.thy (diff) |
The file was modified | src/HOL/Multivariate_Analysis/Complex_Transcendental.thy (diff) |
The file was modified | src/HOL/Real_Vector_Spaces.thy (diff) |