Diffusion Isabelle ad84f8a712b4

cleaning up Homotopy
ad84f8a712b4
Actions

Tags

None

Subscribers

None

Description

cleaning up Homotopy

Details

Provenance

paulson <lp15@cam.ac.uk>

Authored on

Parents

rISABELLE63eb6b3ebcfc: merged

Branches

Unknown

Tags

Unknown

Event Timeline

paulson <lp15@cam.ac.uk> committed rISABELLEad84f8a712b4: cleaning up Homotopy.Apr 12 2020, 11:51 AM

Changes (3)

Path

Size

src/

HOL/

Analysis/

Brouwer_Fixpoint.thy

Further_Topology.thy

rISABELLEad84f8a712b4

src/HOL/Analysis/Brouwer_Fixpoint.thy

Loading...

src/HOL/Analysis/Further_Topology.thy

Loading...

src/HOL/Analysis/Homotopy.thy

Loading...