Summary
- tuned structure
- lead_coeff is more appropriate as abbreviation
- more lemmas; tuned headings
- covering space lift lemmas
The file was modified | src/HOL/Library/Polynomial.thy (diff) |
The file was modified | src/HOL/Library/Polynomial_Factorial.thy (diff) |
The file was modified | src/HOL/Library/Polynomial.thy (diff) |
The file was modified | src/HOL/Library/Polynomial_Factorial.thy (diff) |
The file was modified | src/HOL/Library/Polynomial.thy (diff) |
The file was modified | src/HOL/Analysis/Homeomorphism.thy (diff) |