Diffusion Isabelle 4a2c0eb482aa

Simplified some proofs
4a2c0eb482aa
Actions

Tags

None

Subscribers

None

Description

Simplified some proofs

Details

Provenance

paulson <lp15@cam.ac.uk>

Authored on

Parents

rISABELLE698b58513fd1: merged

Branches

Unknown

Tags

Unknown

Event Timeline

paulson <lp15@cam.ac.uk> committed rISABELLE4a2c0eb482aa: Simplified some proofs.Oct 6 2020, 9:34 PM

Changes (1)

Path

Size

src/

HOL/

Analysis/

rISABELLE4a2c0eb482aa

src/HOL/Analysis/Convex.thy

Loading...