![[Jenkins]](/jenkins/static/98dcae99/images/svgs/logo.svg){kind=logo}
Summary
- moved lemmas
| The file was modified | thys/Berlekamp_Zassenhaus/Mahler_Measure.thy (diff) |
| The file was modified | thys/Jordan_Normal_Form/Determinant.thy (diff) |
| The file was modified | thys/Jordan_Normal_Form/Matrix.thy (diff) |
| The file was modified | thys/Polynomial_Interpolation/Ring_Hom.thy (diff) |
| The file was modified | thys/Polynomial_Interpolation/Ring_Hom_Poly.thy (diff) |
| The file was modified | thys/Subresultants/ROOT (diff) |
| The file was modified | thys/Subresultants/Subresultant.thy (diff) |
| The file was removed | thys/Subresultants/Missing_Determinant.thy |