Diffusion afp-devel a943f1d84bc0

fixed duplicate theory name in Polynomial_Factorization
a943f1d84bc0
Actions

Tags

None

Subscribers

None

Description

fixed duplicate theory name in Polynomial_Factorization

Details

Provenance

Authored on

Parents

rAFP5731b2cd4e7e: refactored proof

Branches

Unknown

Tags

Unknown

Event Timeline

pruvisto committed rAFPa943f1d84bc0: fixed duplicate theory name in Polynomial_Factorization.Nov 6 2023, 7:31 PM

Changes (8)

Path

Size

Algebraic_Numbers/

Algebraic_Numbers.thy

Berlekamp_Zassenhaus/

Chinese_Remainder_Poly.thy

Unique_Factorization.thy

Polynomial_Factorization

Polynomial_Divisibility.thy

Polynomial_Irreducibility.thy

Square_Free_Factorization.thy

rAFPa943f1d84bc0

thys/Algebraic_Numbers/Algebraic_Numbers.thy

Loading...

thys/Berlekamp_Zassenhaus/Chinese_Remainder_Poly.thy

Loading...

thys/Berlekamp_Zassenhaus/Unique_Factorization.thy

Loading...

thys/Polynomial_Factorization/Polynomial_Divisibility.thy

Loading...

thys/Polynomial_Factorization/Polynomial_Irreducibility.thy

Loading...

thys/Polynomial_Factorization/Square_Free_Factorization.thy

Loading...