Diffusion Isabelle 777d673fa672

Removed duplicate theorems from HOL-Analysis
777d673fa672
Actions

Tags

None

Subscribers

None

Description

Removed duplicate theorems from HOL-Analysis

Details

Provenance

Authored on

Parents

rISABELLEa8ccea88b725: Flattened dependency tree of HOL-Analysis

Branches

Unknown

Tags

Unknown

Event Timeline

pruvisto committed rISABELLE777d673fa672: Removed duplicate theorems from HOL-Analysis.Dec 2 2019, 2:22 PM

Changes (2)

Path

Size

src/

HOL/

Analysis/

Smooth_Paths.thy

rISABELLE777d673fa672

src/HOL/Analysis/Retracts.thy

Loading...

src/HOL/Analysis/Smooth_Paths.thy

Loading...