Summary
- 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) |
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) |