Diffusion afp-devel 6d2084af8df7

Simplified and shortened some proofs
6d2084af8df7
Actions

Tags

None

Subscribers

None

Description

Simplified and shortened some proofs

Details

Provenance

paulson <lp15@cam.ac.uk>

Authored on

Parents

rAFP916977bf1eab: merged

Branches

Unknown

Tags

Unknown

Event Timeline

paulson <lp15@cam.ac.uk> committed rAFP6d2084af8df7: Simplified and shortened some proofs.Jul 12 2022, 3:47 PM

Changes (1)

Path

Size

thys/

Roth_Arithmetic_Progressions/

Roth_Arithmetic_Progressions.thy

rAFP6d2084af8df7

thys/Roth_Arithmetic_Progressions/Roth_Arithmetic_Progressions.thy

Loading...