Summary
- Merged
- Merged
- Merged
- Removed unnecessary constant 'ball' from Formal_Power_Series
The file was modified | src/HOL/Computational_Algebra/Formal_Power_Series.thy (diff) |
The file was modified | src/HOL/Computational_Algebra/Formal_Power_Series.thy (diff) |