Skip to content
Success

Changes

Summary

  1. minor changes in interface of square-free factorization
Changeset 7168:559024bf7ac1 by rene thiemann _rene.thiemann@uibk.ac.at_:
minor changes in interface of square-free factorization
The file was modified thys/Algebraic_Numbers/Complex_Algebraic_Numbers.thy (diff)
The file was modified thys/Polynomial_Factorization/Square_Free_Factorization.thy (diff)