Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Continuity of pbernpoly
  2. Properties of Euler-MacLaurin remainder term
Changeset 8176:7e7cb005288e by eberlm _eberlm@in.tum.de_:
Continuity of pbernpoly
The file was modified thys/Bernoulli/Periodic_Bernpoly.thy (diff)
Changeset 8175:b8e99911dc85 by eberlm _eberlm@in.tum.de_:
Properties of Euler-MacLaurin remainder term
The file was modified thys/Euler_MacLaurin/Euler_MacLaurin.thy (diff)