Diffusion afp-devel 802687e3f62a

new entry: Padic_Field
802687e3f62a
Actions

Tags

None

Subscribers

None

Description

new entry: Padic_Field

Details

Provenance

Authored on

Parents

rAFPb4ba256202a1: sitegen for Risk_Free_Lending

Branches

Unknown

Tags

Unknown

Event Timeline

pruvisto committed rAFP802687e3f62a: new entry: Padic_Field.Sep 22 2022, 6:13 PM

Changes (17)

Path

Size

Cring_Multivariable_Poly.thy

Fraction_Field.thy

Generated_Boolean_Algebra.thy

Padic_Field_Polynomials.thy

Padic_Field_Powers.thy

Padic_Field_Topology.thy

Padic_Fields.thy

Padic_Semialgebraic_Function_Ring.thy

Ring_Powers.thy

rAFP802687e3f62a

thys/Padic_Field/Cring_Multivariable_Poly.thy

Loading...

thys/Padic_Field/Fraction_Field.thy

Loading...

thys/Padic_Field/Generated_Boolean_Algebra.thy

Loading...

thys/Padic_Field/Indices.thy

Loading...

thys/Padic_Field/Padic_Field_Polynomials.thy

Loading...

thys/Padic_Field/Padic_Field_Powers.thy

Loading...

thys/Padic_Field/Padic_Field_Topology.thy

Loading...

thys/Padic_Field/Padic_Fields.thy

Loading...

thys/Padic_Field/Padic_Semialgebraic_Function_Ring.thy

Loading...

thys/Padic_Field/ROOT

Loading...

thys/Padic_Field/Ring_Powers.thy

Loading...

thys/Padic_Field/document/root.bib

Loading...

thys/Padic_Field/document/root.tex

Loading...

thys/ROOTS

Loading...