Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Changes from Mercurial (hg https://bitbucket.org/isa-afp/afp-devel/ default)

Summary

  1. Added von Staudt–Clausen theorem to Bernoulli
Changeset 10691:5580004cc074 by manuel eberl _eberlm@in.tum.de_:
Added von Staudt–Clausen theorem to Bernoulli
The file was modified thys/Bernoulli/Bernoulli_FPS.thy
The file was modified thys/Bernoulli/ROOT