Diffusion Isabelle 4fc3dc37f406

default simprule for geometric series
4fc3dc37f406
Actions

Tags

None

Subscribers

None

Description

default simprule for geometric series

Details

Provenance

paulson <lp15@cam.ac.uk>

Authored on

Parents

rISABELLEe734cd65c926: tuned

Branches

Unknown

Tags

Unknown

Event Timeline

paulson <lp15@cam.ac.uk> committed rISABELLE4fc3dc37f406: default simprule for geometric series.Dec 23 2020, 5:25 PM

Changes (2)

Path

Size

src/

HOL/

Transcendental.thy

rISABELLE4fc3dc37f406

src/HOL/Series.thy

Loading...

src/HOL/Transcendental.thy

Loading...