Diffusion afp-devel 328be39bfc59

new entry Martingales
328be39bfc59
Actions

Tags

None

Subscribers

None

Description

new entry Martingales

Details

Provenance

Authored on

Parents

rAFPbfdd25c873be: sitegen for Concentration_Inequalities

Branches

Unknown

Tags

Unknown

Event Timeline

pruvisto committed rAFP328be39bfc59: new entry Martingales.Dec 6 2023, 12:47 AM

Changes (15)

Path

Size

Bochner_Integration_Supplement.thy

Conditional_Expectation_Banach.thy

Elementary_Metric_Spaces_Supplement.thy

Example_Coin_Toss.thy

Filtered_Measure.thy

Measure_Space_Supplement.thy

Stochastic_Process.thy

rAFP328be39bfc59

thys/Martingales/Bochner_Integration_Supplement.thy

Loading...

thys/Martingales/Conditional_Expectation_Banach.thy

Loading...

thys/Martingales/Elementary_Metric_Spaces_Supplement.thy

Loading...

thys/Martingales/Example_Coin_Toss.thy

Loading...

thys/Martingales/Filtered_Measure.thy

Loading...

thys/Martingales/Martingale.thy

Loading...

thys/Martingales/Measure_Space_Supplement.thy

Loading...

thys/Martingales/ROOT

Loading...

thys/Martingales/Stochastic_Process.thy

Loading...

thys/Martingales/document/root.bib

Loading...

thys/Martingales/document/root.tex

Loading...

thys/ROOTS

Loading...