Diffusion afp-devel 934e6024154a

The last few occurrences of integrable_cong
934e6024154a
Actions

Tags

None

Subscribers

None

Description

The last few occurrences of integrable_cong

Details

Provenance

paulson <lp15@cam.ac.uk>

Authored on

Parents

rAFP31801addfd8a: Tidying/removal of obsolete material

Branches

Unknown

Tags

Unknown

Event Timeline

paulson <lp15@cam.ac.uk> committed rAFP934e6024154a: The last few occurrences of integrable_cong.May 25 2022, 3:31 PM

Changes (7)

Path

Size

thys/

DiscretePricing/

Disc_Cond_Expect.thy

Ergodic_Theory/

MDP-Rewards/

Quasi_Borel_Spaces/

Pair_QuasiBorel_Measure.thy

Probability_Space_QuasiBorel.thy

Zeta_3_Irrational/

Zeta_3_Irrational.thy

rAFP934e6024154a

thys/DiscretePricing/Disc_Cond_Expect.thy

Loading...

thys/DiscretePricing/Fair_Price.thy

Loading...

thys/Ergodic_Theory/Kingman.thy

Loading...

thys/MDP-Rewards/MDP_disc.thy

Loading...

thys/Quasi_Borel_Spaces/Pair_QuasiBorel_Measure.thy

Loading...

thys/Quasi_Borel_Spaces/Probability_Space_QuasiBorel.thy

Loading...

thys/Zeta_3_Irrational/Zeta_3_Irrational.thy

Loading...