Diffusion Isabelle beccb2a0410f

yet another little lemma
beccb2a0410f
Actions

Tags

None

Subscribers

None

Description

yet another little lemma

Details

Provenance

paulson <lp15@cam.ac.uk>

Authored on

Parents

rISABELLE6a2f43901350: merged

Branches

Unknown

Tags

Unknown

Event Timeline

paulson <lp15@cam.ac.uk> committed rISABELLEbeccb2a0410f: yet another little lemma.Aug 5 2020, 6:56 PM

Changes (1)

Path

Size

src/

HOL/

rISABELLEbeccb2a0410f

src/HOL/Groups_Big.thy

Loading...