Diffusion Isabelle 2c1b01563163

New material from the HOL Light metric space library, mostly about quasi…
2c1b01563163
Actions

Tags

None

Subscribers

None

Description

New material from the HOL Light metric space library, mostly about quasi components

Details

Provenance

paulson <lp15@cam.ac.uk>

Authored on

Parents

rISABELLE37894dff0111: More material from the HOL Light metric space library

Branches

Unknown

Tags

Unknown

Event Timeline

paulson <lp15@cam.ac.uk> committed rISABELLE2c1b01563163: New material from the HOL Light metric space library, mostly about quasi….May 18 2023, 12:44 PM

Changes (2)

Path

Size

src/

HOL/

Analysis/

Abstract_Topological_Spaces.thy

Abstract_Topology.thy

rISABELLE2c1b01563163

src/HOL/Analysis/Abstract_Topological_Spaces.thy

Loading...

src/HOL/Analysis/Abstract_Topology.thy

Loading...