Diffusion Isabelle 095cf95d7725

moved segment lemmas where they belong
095cf95d7725
Actions

Tags

None

Subscribers

None

Description

moved segment lemmas where they belong

Details

Provenance

Authored on

Parents

rISABELLEbe2c2bfa54a0: merged

Branches

Unknown

Tags

Unknown

Event Timeline

nipkow committed rISABELLE095cf95d7725: moved segment lemmas where they belong.Dec 4 2019, 6:28 PM

Changes (2)

Path

Size

src/

HOL/

Analysis/

Line_Segment.thy

rISABELLE095cf95d7725

src/HOL/Analysis/Line_Segment.thy

Loading...

src/HOL/Analysis/Starlike.thy

Loading...