Diffusion afp-devel 6bd774658f69

Borrowed prod_mono_strict' for the distribution; adjusted proofs
6bd774658f69
Actions

Tags

None

Subscribers

None

Description

Borrowed prod_mono_strict' for the distribution; adjusted proofs

Details

Provenance

paulson <lp15@cam.ac.uk>

Authored on

Parents

rAFPf8cb200addb4: merged

Branches

Unknown

Tags

Unknown

Event Timeline

paulson <lp15@cam.ac.uk> committed rAFP6bd774658f69: Borrowed prod_mono_strict' for the distribution; adjusted proofs.Feb 8 2024, 12:15 PM

Changes (2)

Path

Size

thys/

IMO2019/

Weighted_Arithmetic_Geometric_Mean/

Weighted_Arithmetic_Geometric_Mean.thy

rAFP6bd774658f69

thys/IMO2019/IMO2019_Q4.thy

Loading...

thys/Weighted_Arithmetic_Geometric_Mean/Weighted_Arithmetic_Geometric_Mean.thy

Loading...