Skip to content
Success

Changes

Summary

  1. fixed proofs in algebraic numbers
Changeset 7748:bb73d9ea5c85 by rene thiemann _rene.thiemann@uibk.ac.at_:
fixed proofs in algebraic numbers
The file was modified thys/Algebraic_Numbers/Complex_Algebraic_Numbers.thy (diff)