Diffusion afp-devel 1c6436ee4221

adapted to isabelle/f48f4303c533
1c6436ee4221
Actions

Tags

None

Subscribers

None

Description

adapted to isabelle/f48f4303c533

Details

Provenance

Authored on

Parents

rAFPd3cca60aed6b: fixed typos in Hermite_Lindemann

Branches

Unknown

Tags

Unknown

Event Timeline

pruvisto committed rAFP1c6436ee4221: adapted to isabelle/f48f4303c533.Thu, Apr 4, 10:39 PM

Changes (14)

Path

Size

metadata/

entries/

Perfect_Fields.toml

Berlekamp_Zassenhaus/

Finite_Field.thy

Formal_Puiseux_Series/

Formal_Puiseux_Series.thy

Gromov_Hyperbolicity/

Gromov_Boundary.thy

Algebraic_Closure_Type.thy

Perfect_Field_Algebraically_Closed.thy

Perfect_Field_Altdef.thy

Perfect_Field_Library.thy

Perfect_Fields.thy

Polynomial_Crit_Geometry/

Polynomial_Crit_Geometry_Library.thy

rAFP1c6436ee4221

metadata/entries/Perfect_Fields.toml

Loading...

thys/Berlekamp_Zassenhaus/Finite_Field.thy

Loading...

thys/Formal_Puiseux_Series/Formal_Puiseux_Series.thy

Loading...

thys/Gromov_Hyperbolicity/Gromov_Boundary.thy

Loading...

thys/Perfect_Fields/Algebraic_Closure_Type.thy

Loading...

thys/Perfect_Fields/Perfect_Field_Algebraically_Closed.thy

Loading...

thys/Perfect_Fields/Perfect_Field_Altdef.thy

Loading...

thys/Perfect_Fields/Perfect_Field_Library.thy

Loading...

thys/Perfect_Fields/Perfect_Fields.thy

Loading...

thys/Perfect_Fields/ROOT

Loading...

thys/Polynomial_Crit_Geometry/Polynomial_Crit_Geometry_Library.thy

Loading...

thys/Polynomial_Crit_Geometry/ROOT

Loading...