Diffusion Isabelle 6c1ed478605e

made Starlike independent of Abstract_Limits
6c1ed478605e
Actions

Tags

None

Subscribers

None

Description

made Starlike independent of Abstract_Limits

Details

Provenance

Authored on

Parents

rISABELLEf1838cf9f139: regular merge with no historization, in accordance with regular update

Branches

Unknown

Tags

Unknown

Event Timeline

nipkow committed rISABELLE6c1ed478605e: made Starlike independent of Abstract_Limits.Dec 5 2019, 11:21 AM

Changes (2)

Path

Size

src/

HOL/

Analysis/

Path_Connected.thy

rISABELLE6c1ed478605e

src/HOL/Analysis/Path_Connected.thy

Loading...

src/HOL/Analysis/Starlike.thy

Loading...