Changes

Summary

Changeset 7812:a53f0dcd6820 by rene thiemann _rene.thiemann@uibk.ac.at_: adapted documentation, fixing proof
The file was modified	`thys/Algebraic_Numbers/Resultant.thy` (diff)
The file was modified	`thys/Berlekamp_Zassenhaus/Finite_Field.thy` (diff)
The file was modified	`thys/Berlekamp_Zassenhaus/Square_Free_Factorization_Int.thy` (diff)
The file was modified	`thys/Subresultants/Binary_Exponentiation.thy` (diff)
The file was modified	`thys/Subresultants/More_Homomorphisms.thy` (diff)
The file was modified	`thys/Subresultants/Resultant_Prelim.thy` (diff)