Diffusion afp-devel 1d01c7ffe7b5

moved lemma to distribution
1d01c7ffe7b5
Actions

Tags

None

Subscribers

None

Description

moved lemma to distribution

Details

Provenance

Authored on

Parents

rAFP827884151bfa: merge from afp-2021-1

Branches

Unknown

Tags

Unknown

Event Timeline

nipkow committed rAFP1d01c7ffe7b5: moved lemma to distribution.Jul 15 2022, 9:22 AM

Changes (1)

Path

Size

thys/

Clique_and_Monotone_Circuits/

Preliminaries.thy

rAFP1d01c7ffe7b5

thys/Clique_and_Monotone_Circuits/Preliminaries.thy

Loading...