src/HOL/Series.thy
changeset 66787 64b47495676d
parent 66456 621897f47fab
child 67167 88d1c9d86f48