HomeIsabelle/Phabricator
Diffusion afp-devel a9fb9e1730a7

new entry Hermite_Lindemann
a9fb9e1730a7
Actions

Description

new entry Hermite_Lindemann

Details

Provenance
paulson <lp15@cam.ac.uk>Authored on
Parents
rAFP39b6774669ae: cosmetic changes
Branches
Unknown
Tags
Unknown

Changes (15)

PathSize

rAFPa9fb9e1730a7

View Options

thys/Hermite_Lindemann/Algebraic_Integer_Divisibility.thy

Loading...
View Options

thys/Hermite_Lindemann/Complex_Lexorder.thy

Loading...
View Options

thys/Hermite_Lindemann/Hermite_Lindemann.thy

Loading...
View Options

thys/Hermite_Lindemann/Min_Int_Poly.thy

Loading...
View Options

thys/Hermite_Lindemann/Misc_HLW.thy

Loading...
View Options

thys/Hermite_Lindemann/More_Algebraic_Numbers_HLW.thy

Loading...
View Options

thys/Hermite_Lindemann/More_Multivariate_Polynomial_HLW.thy

Loading...
View Options

thys/Hermite_Lindemann/More_Polynomial_HLW.thy

Loading...
View Options

thys/Hermite_Lindemann/ROOT

Loading...
View Options

thys/Hermite_Lindemann/document/root.bib

Loading...
View Options

thys/Hermite_Lindemann/document/root.tex

Loading...
View Options

thys/ROOTS

Loading...