Diffusion Isabelle 9b4135e8bade

a generic horner sum operation
9b4135e8bade
Actions

Tags

None

Subscribers

None

Description

a generic horner sum operation

Details

Provenance

florian.haftmann

Authored on

Parents

rISABELLE08348e364739: more thms

Branches

Unknown

Tags

Unknown

Event Timeline

florian.haftmann committed rISABELLE9b4135e8bade: a generic horner sum operation.Jul 11 2020, 8:09 PM

Changes (5)

Path

Size

src/

HOL/

Computational_Algebra/

Groups_List.thy

ex/

rISABELLE9b4135e8bade

src/HOL/Computational_Algebra/Polynomial.thy

Loading...

src/HOL/Groups_List.thy

Loading...

src/HOL/Parity.thy

Loading...

src/HOL/String.thy

Loading...

src/HOL/ex/Bit_Lists.thy

Loading...