Diffusion Isabelle 71f001027a13

Proof simplification
71f001027a13
Actions

Tags

None

Subscribers

None

Description

Proof simplification

Details

Provenance

paulson <lp15@cam.ac.uk>

Authored on

Parents

rISABELLEb9e9b818d7b0: removed accidental junk

Branches

Unknown

Tags

Unknown

Event Timeline

paulson <lp15@cam.ac.uk> committed rISABELLE71f001027a13: Proof simplification.Mar 17 2023, 11:42 AM

Changes (1)

Path

Size

src/

HOL/

Analysis/

rISABELLE71f001027a13

src/HOL/Analysis/Homotopy.thy

Loading...