Diffusion afp-devel c50a4d12d566

tidying for the new geometric simprule
c50a4d12d566
Actions

Tags

None

Subscribers

None

Description

tidying for the new geometric simprule

Details

Provenance

paulson <lp15@cam.ac.uk>

Authored on

Parents

rAFP7db1c571f529: A bit of tidying up

Branches

Unknown

Tags

Unknown

Event Timeline

paulson <lp15@cam.ac.uk> committed rAFPc50a4d12d566: tidying for the new geometric simprule.Dec 23 2020, 10:25 PM

Changes (2)

Path

Size

thys/

Banach_Steinhaus/

Banach_Steinhaus.thy

Irrational_Series_Erdos_Straus/

Irrational_Series_Erdos_Straus.thy

rAFPc50a4d12d566

thys/Banach_Steinhaus/Banach_Steinhaus.thy

Loading...

thys/Irrational_Series_Erdos_Straus/Irrational_Series_Erdos_Straus.thy

Loading...