Summary
- Added positive Bernoulli numbers; improved code equations
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/Bernoulli.thy (diff) |
The file was modified | thys/Bernoulli/Bernoulli_FPS.thy (diff) |