HomeIsabelle/Phabricator
Diffusion Isabelle 3b76524f5a85

Imported lots of material from Stirling_Formula/Gamma_Asymptotics
3b76524f5a85
Actions

Description

Imported lots of material from Stirling_Formula/Gamma_Asymptotics

Details

Provenance
paulson <lp15@cam.ac.uk>Authored on
Parents
rISABELLE5b5e015189a4: merged
Branches
Unknown
Tags
Unknown

Changes (9)

PathSize
src/
HOL/
Analysis/
Complex_Analysis/
Library/

rISABELLE3b76524f5a85

View Options

NEWS

Loading...
View Options

src/HOL/Analysis/Change_Of_Vars.thy

Loading...
View Options

src/HOL/Analysis/Complex_Transcendental.thy

Loading...
View Options

src/HOL/Analysis/Derivative.thy

Loading...
View Options

src/HOL/Analysis/Gamma_Function.thy

Loading...
View Options

src/HOL/Analysis/Henstock_Kurzweil_Integration.thy

Loading...
View Options

src/HOL/Complex.thy

Loading...
View Options

src/HOL/Complex_Analysis/Cauchy_Integral_Formula.thy

Loading...
View Options

src/HOL/Library/Indicator_Function.thy

Loading...