Diffusion Isabelle 0d1c0b085e5c

cleaned up some messy proofs
0d1c0b085e5c
Actions

Tags

None

Subscribers

None

Description

cleaned up some messy proofs

Details

Provenance

paulson <lp15@cam.ac.uk>

Authored on

Parents

rISABELLE9c6787cfd70e: merged

Branches

Unknown

Tags

Unknown

Event Timeline

paulson <lp15@cam.ac.uk> committed rISABELLE0d1c0b085e5c: cleaned up some messy proofs.Sep 11 2020, 3:14 PM

Changes (1)

Path

Size

src/

HOL/

Analysis/

Path_Connected.thy

rISABELLE0d1c0b085e5c

src/HOL/Analysis/Path_Connected.thy

Loading...