Diffusion afp-devel 87c3943758c0

More about Bernoulli numbers
87c3943758c0
Actions

Tags

None

Subscribers

None

Description

More about Bernoulli numbers

Details

Provenance

Authored on

Parents

rAFP5580004cc074: Added von Staudt–Clausen theorem to Bernoulli

Branches

Unknown

Tags

Unknown

Event Timeline

Manuel Eberl <eberlm@in.tum.de> committed rAFP87c3943758c0: More about Bernoulli numbers.Nov 17 2019, 1:12 PM

Changes (1)

Path

Size

thys/

Bernoulli/

Bernoulli_FPS.thy

rAFP87c3943758c0

thys/Bernoulli/Bernoulli_FPS.thy

Loading...