Diffusion afp-devel 84e7b649025b

Restore deleted theorem from Szpilrajn
84e7b649025b
Actions

Tags

None

Subscribers

None

Description

Restore deleted theorem from Szpilrajn

Details

Provenance

Authored on

Parents

rAFP7c0105d2d63f: tuned presentation

Branches

Unknown

Tags

Unknown

Event Timeline

lukasstevens committed rAFP84e7b649025b: Restore deleted theorem from Szpilrajn.May 28 2021, 10:47 AM

Changes (2)

Path

Size

thys/

Combinatorics_Words_Lyndon/

Lyndon_Addition.thy

Szpilrajn/

rAFP84e7b649025b

thys/Combinatorics_Words_Lyndon/Lyndon_Addition.thy

Loading...

thys/Szpilrajn/Szpilrajn.thy

Loading...