Diffusion Isabelle 4c1347e172b1

moved over material from AFP; most importantly on algebraic numbers and…
4c1347e172b1
Actions

Tags

None

Subscribers

None

Description

moved over material from AFP; most importantly on algebraic numbers and algebraically closed fields

Details

Provenance

Authored on

Parents

rISABELLEf82639fe786e: update NEWS;

Branches

Unknown

Tags

Unknown

Event Timeline

pruvisto committed rISABELLE4c1347e172b1: moved over material from AFP; most importantly on algebraic numbers and….Mar 29 2024, 7:28 PM

pruvisto mentioned this in rAFP759e3bb5a93e: adapted to isabelle/4c1347e172b1.Mar 30 2024, 12:53 PM

pruvisto mentioned this in rAFP1cd8d5cb1636: adapted Zeta_3_Irrational w.r.t. isabelle/4c1347e172b1.Mar 30 2024, 9:18 PM

Changes (16)

Path

Size

Computational_Algebra

Formal_Laurent_Series.thy

Formal_Power_Series.thy

Fraction_Field.thy

Fundamental_Theorem_Algebra.thy

Groups_List.thy

Library/

rISABELLE4c1347e172b1

src/HOL/Computational_Algebra/Formal_Laurent_Series.thy

Loading...

src/HOL/Computational_Algebra/Formal_Power_Series.thy

Loading...

src/HOL/Computational_Algebra/Fraction_Field.thy

Loading...

src/HOL/Computational_Algebra/Fundamental_Theorem_Algebra.thy

Loading...

src/HOL/Computational_Algebra/Polynomial.thy

Loading...

src/HOL/Computational_Algebra/document/root.bib

Loading...

src/HOL/Computational_Algebra/document/root.tex

Loading...

src/HOL/Groups_List.thy

Loading...

src/HOL/Library/Multiset.thy

Loading...

src/HOL/Library/Real_Mod.thy

Loading...

src/HOL/ROOT

Loading...

src/HOL/Rat.thy

Loading...