Diffusion afp-devel 1e53550fa67e

more on "summable"
1e53550fa67e
Actions

Tags

None

Subscribers

None

Description

more on "summable"

Details

Provenance

paulson <lp15@cam.ac.uk>

Authored on

Parents

rAFP7684b36a162a: merged

Branches

Unknown

Tags

Unknown

Event Timeline

paulson <lp15@cam.ac.uk> committed rAFP1e53550fa67e: more on "summable".Dec 24 2020, 4:41 PM

Changes (2)

Path

Size

thys/

Irrational_Series_Erdos_Straus/

Irrational_Series_Erdos_Straus.thy

Irrationality_J_Hancl/

Irrationality_J_Hancl.thy

rAFP1e53550fa67e

thys/Irrational_Series_Erdos_Straus/Irrational_Series_Erdos_Straus.thy

Loading...

thys/Irrationality_J_Hancl/Irrationality_J_Hancl.thy

Loading...