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) |
Changeset
66373:56f8bfe1211c
by eberlm _eberlm@in.tum.de_:
Removed unnecessary constant 'ball' from Formal_Power_Series | |
The file was modified | src/HOL/Computational_Algebra/Formal_Power_Series.thy (diff) |