Diffusion afp-devel a2db1b041475

Yet more tidying and streamlining of graph lemmas
a2db1b041475
Actions

Tags

None

Subscribers

None

Description

Yet more tidying and streamlining of graph lemmas

Details

Provenance

paulson <lp15@cam.ac.uk>

Authored on

Parents

rAFPe1d9bd95d879: merged

Branches

Unknown

Tags

Unknown

Event Timeline

paulson <lp15@cam.ac.uk> committed rAFPa2db1b041475: Yet more tidying and streamlining of graph lemmas.Apr 12 2022, 1:40 PM

Changes (2)

Path

Size

thys/

Random_Graph_Subgraph_Threshold/

Ugraph_Lemmas.thy

Roth_Arithmetic_Progressions/

Roth_Arithmetic_Progressions.thy

rAFPa2db1b041475

thys/Random_Graph_Subgraph_Threshold/Ugraph_Lemmas.thy

Loading...

thys/Roth_Arithmetic_Progressions/Roth_Arithmetic_Progressions.thy

Loading...