Summary
- Weakened conditions to integral in Akra-Bazzi
- More facts about Stirling numbers of the 1st kind
- add monoid instance for applicative functors
The file was modified | thys/Akra_Bazzi/Akra_Bazzi_Real.thy (diff) |
The file was modified | thys/Discrete_Summation/Stirling.thy (diff) |
The file was added | thys/Applicative_Lifting/Applicative_Monoid.thy |
The file was modified | thys/Applicative_Lifting/Applicative_Functor.thy (diff) |