Diffusion Isabelle 2fab72ab919a

moved duplicate lemmas up the hierarchy
2fab72ab919a
Actions

Tags

None

Subscribers

None

Description

moved duplicate lemmas up the hierarchy

Details

Provenance

Authored on

Parents

rISABELLEfdb6c5034c24: merged

Branches

Unknown

Tags

Unknown

Event Timeline

nipkow committed rISABELLE2fab72ab919a: moved duplicate lemmas up the hierarchy.Nov 5 2019, 7:55 PM

Changes (3)

Path

Size

src/

HOL/

Analysis/

Elementary_Topology.thy

Linear_Algebra.thy

rISABELLE2fab72ab919a

src/HOL/Analysis/Elementary_Topology.thy

Loading...

src/HOL/Analysis/Linear_Algebra.thy

Loading...

src/HOL/Real.thy

Loading...