src/HOL/Series.thy
changeset 52435 6646bb548c6b
parent 51528 66c3a7589de7
child 53602 0ae3db699a3e