Summary
- fixes for has_integral_Union involving pairwise
The file was modified | thys/Euler_MacLaurin/Euler_MacLaurin.thy (diff) |
The file was modified | thys/Green/Green.thy (diff) |
The file was modified | thys/Stirling_Formula/Ln_Gamma_Asymptotics.thy (diff) |