Diffusion afp-devel a9cbe497e51c

new entry Real_Power
a9cbe497e51c
Actions

Tags

None

Subscribers

None

Description

new entry Real_Power

Details

Provenance

paulson <lp15@cam.ac.uk>

Authored on

Parents

rAFP069931d66829: New entry Szemeredi_Regularity

Branches

Unknown

Tags

Unknown

Event Timeline

paulson <lp15@cam.ac.uk> committed rAFPa9cbe497e51c: new entry Real_Power.Nov 9 2021, 12:39 PM

Changes (9)

Path

Size

rAFPa9cbe497e51c

thys/ROOTS

Loading...

thys/Real_Power/Log.thy

Loading...

thys/Real_Power/ROOT

Loading...

thys/Real_Power/RatPower.thy

Loading...

thys/Real_Power/RealPower.thy

Loading...

thys/Real_Power/document/root.tex

Loading...