Diffusion Isabelle edb01b64dc16

Just one lemma
edb01b64dc16
Actions

Tags

None

Subscribers

None

Description

Just one lemma

Details

Provenance

paulson <lp15@cam.ac.uk>

Authored on

Parents

rISABELLE4121fc47432b: merged

Branches

Unknown

Tags

Unknown

Event Timeline

paulson <lp15@cam.ac.uk> committed rISABELLEedb01b64dc16: Just one lemma.May 11 2021, 4:50 PM

Changes (1)

Path

Size

src/

HOL/

rISABELLEedb01b64dc16

src/HOL/Set.thy

Loading...