Diffusion afp-devel 15c9153d3107

more count_list lemmas
15c9153d3107
Actions

Tags

None

Subscribers

None

Description

more count_list lemmas

Details

Provenance

Authored on

Parents

rAFPc829c6696724: more count_list

Branches

Unknown

Tags

Unknown

Event Timeline

nipkow committed rAFP15c9153d3107: more count_list lemmas.Mar 8 2022, 12:57 PM

Changes (2)

Path

Size

thys/

Groebner_Macaulay/

Dube_Prelims.thy

List_Update/

rAFP15c9153d3107

thys/Groebner_Macaulay/Dube_Prelims.thy

Loading...

thys/List_Update/TS.thy

Loading...