Diffusion Isabelle da28fd2852ed

moved starlike where it belongs
da28fd2852ed
Actions

Tags

None

Subscribers

None

Description

moved starlike where it belongs

Details

Provenance

Authored on

Parents

rISABELLE7b9ff966974f: merged

Branches

Unknown

Tags

Unknown

Event Timeline

nipkow committed rISABELLEda28fd2852ed: moved starlike where it belongs.Dec 4 2019, 11:11 PM

Changes (2)

Path

Size

src/

HOL/

Analysis/

rISABELLEda28fd2852ed

src/HOL/Analysis/Homotopy.thy

Loading...

src/HOL/Analysis/Starlike.thy

Loading...