Diffusion afp-devel f7df1a1ea10c

patched for new/simplified lemmas
f7df1a1ea10c
Actions

Tags

None

Subscribers

None

Description

patched for new/simplified lemmas

Details

Provenance

paulson <lp15@cam.ac.uk>

Authored on

Parents

rAFPb74da009ae6d: Better notation.

Branches

Unknown

Tags

Unknown

Event Timeline

paulson <lp15@cam.ac.uk> committed rAFPf7df1a1ea10c: patched for new/simplified lemmas.Feb 15 2022, 5:42 PM

Changes (2)

Path

Size

thys/

Irrationals_From_THEBOOK/

Irrationals_From_THEBOOK.thy

Sunflowers/

Erdos_Rado_Sunflower.thy

rAFPf7df1a1ea10c

thys/Irrationals_From_THEBOOK/Irrationals_From_THEBOOK.thy

Loading...

thys/Sunflowers/Erdos_Rado_Sunflower.thy

Loading...