src/HOL/Series.thy
changeset 52252 81fcc11d8c65
parent 51528 66c3a7589de7
child 53602 0ae3db699a3e