Summary
- misc tuning and simplification;
- misc tuning and simplification;
The file was modified | src/HOL/Library/Sum_of_Squares/sum_of_squares.ML (diff) |
The file was modified | src/HOL/Library/Sum_of_Squares/sum_of_squares.ML (diff) |
The file was modified | src/HOL/Library/Sum_of_Squares/sum_of_squares.ML (diff) |
The file was modified | src/HOL/Library/Sum_of_Squares/sum_of_squares.ML (diff) |