Diffusion afp-devel 5580004cc074

Added von Staudt–Clausen theorem to Bernoulli
5580004cc074
Actions

Tags

None

Subscribers

None

Description

Added von Staudt–Clausen theorem to Bernoulli

Details

Provenance

Authored on

Parents

rAFPf1ef07c47429: don't build Linear_Programming on Mac

Branches

Unknown

Tags

Unknown

Event Timeline

Manuel Eberl <eberlm@in.tum.de> committed rAFP5580004cc074: Added von Staudt–Clausen theorem to Bernoulli.Nov 14 2019, 10:29 PM

Changes (2)

Path

Size

thys/

Bernoulli/

Bernoulli_FPS.thy

rAFP5580004cc074

thys/Bernoulli/Bernoulli_FPS.thy

Loading...

thys/Bernoulli/ROOT

Loading...