Skip to content
Failed

Changes

Summary

  1. Generalised Bernoulli
Changeset 8194:30a0489299a7 by manuel eberl _eberlm@in.tum.de_:
Generalised Bernoulli
The file was modified thys/Bernoulli/Bernoulli.thy (diff)
The file was modified thys/Bernoulli/Bernoulli_FPS.thy (diff)
The file was modified thys/Bernoulli/Periodic_Bernpoly.thy (diff)