Diffusion Isabelle 32d45952c12d

a few new theorems
32d45952c12d
Actions

Tags

None

Subscribers

None

Description

a few new theorems

Details

Provenance

paulson <lp15@cam.ac.uk>

Authored on

Parents

rISABELLEe174568d52d2: tuned;

Branches

Unknown

Tags

Unknown

Event Timeline

paulson <lp15@cam.ac.uk> committed rISABELLE32d45952c12d: a few new theorems.Jul 28 2022, 1:33 PM

Changes (2)

Path

Size

src/

HOL/

Analysis/

Infinite_Products.thy

Library/

Infinite_Set.thy

rISABELLE32d45952c12d

src/HOL/Analysis/Infinite_Products.thy

Loading...

src/HOL/Library/Infinite_Set.thy

Loading...