Diffusion afp-devel 4a8fdff18559

Removed a bit of unnecessary material
4a8fdff18559
Actions

Tags

None

Subscribers

None

Description

Removed a bit of unnecessary material

Details

Provenance

paulson <lp15@cam.ac.uk>

Authored on

Parents

rAFP041dc7547354: merged

Branches

Unknown

Tags

Unknown

Event Timeline

paulson <lp15@cam.ac.uk> committed rAFP4a8fdff18559: Removed a bit of unnecessary material.Jan 27 2023, 5:29 PM

Changes (5)

Path

Size

thys/

Dirichlet_Series/

Dirichlet_Misc.thy

Dirichlet_Product.thy

Finite_Fields/

Card_Irreducible_Polynomials.thy

Polynomial_Factorization/

Missing_List.thy

rAFP4a8fdff18559

thys/Dirichlet_Series/Dirichlet_Misc.thy

Loading...

thys/Dirichlet_Series/Dirichlet_Product.thy

Loading...

thys/Dirichlet_Series/Moebius_Mu.thy

Loading...

thys/Finite_Fields/Card_Irreducible_Polynomials.thy

Loading...

thys/Polynomial_Factorization/Missing_List.thy

Loading...