src/HOL/Hyperreal/Series.thy
changeset 17318 bc1c75855f3d
parent 17149 e2b19c92ef51
child 19106 6e6b5b1fdc06
equal deleted inserted replaced
17317:3f12de2e2e6e 17318:bc1c75855f3d