Diffusion afp-devel 171b62f0789a

A new lemma
171b62f0789a
Actions

Tags

None

Subscribers

None

Description

A new lemma

Details

Provenance

paulson <lp15@cam.ac.uk>

Authored on

Parents

rAFP7c537805ccf2: some new lemmas

Branches

Unknown

Tags

Unknown

Event Timeline

paulson <lp15@cam.ac.uk> committed rAFP171b62f0789a: A new lemma.Mar 17 2020, 8:15 PM

Changes (1)

Path

Size

thys/

ZFC_in_HOL/

ZFC_Cardinals.thy

rAFP171b62f0789a

thys/ZFC_in_HOL/ZFC_Cardinals.thy

Loading...