Diffusion Isabelle 9d2753406c60

removed redundant lemma
9d2753406c60
Actions

Tags

None

Subscribers

None

Description

removed redundant lemma

Details

Provenance

Authored on

Parents

rISABELLEc1b63124245c: tuned

Branches

Unknown

Tags

Unknown

Event Timeline

nipkow committed rISABELLE9d2753406c60: removed redundant lemma.Nov 5 2019, 7:13 PM

Changes (2)

Path

Size

src/

HOL/

Analysis/

Linear_Algebra.thy

rISABELLE9d2753406c60

src/HOL/Analysis/Convex.thy

Loading...

src/HOL/Analysis/Linear_Algebra.thy

Loading...