Diffusion afp-devel 5dddf1525788

adapted to devel
5dddf1525788
Actions

Tags

None

Subscribers

None

Description

adapted to devel

Details

Provenance

Authored on

Parents

rAFP5270bd68a568: updated to devel

Branches

Unknown

Tags

Unknown

Event Timeline

nipkow committed rAFP5dddf1525788: adapted to devel.Nov 10 2021, 7:52 AM

Changes (1)

Path

Size

thys/

Gauss_Sums/

Finite_Fourier_Series.thy

rAFP5dddf1525788

thys/Gauss_Sums/Finite_Fourier_Series.thy

Loading...