![[Jenkins]](/jenkins/static/858a1f95/images/svgs/logo.svg){kind=logo}
Summary
- adjusted to more algebraic lemmas in distribution
| The file was modified | thys/Decreasing-Diagrams/Decreasing_Diagrams.thy (diff) |
| The file was modified | thys/Lehmer/Lehmer.thy (diff) |
| The file was modified | thys/Polynomial_Factorization/Prime_Factorization.thy (diff) |
| The file was modified | thys/Pratt_Certificate/Pratt_Certificate.thy (diff) |
| The file was modified | thys/Prime_Harmonic_Series/Squarefree_Nat.thy (diff) |
| The file was modified | thys/Real_Impl/Prime_Product.thy (diff) |