Diffusion Isabelle f58ad163bb75

putting together related theorems
f58ad163bb75
Actions

Tags

None

Subscribers

None

Description

putting together related theorems

Details

Provenance

florian.haftmann

Authored on

Parents

rISABELLE3ae579092045: dropped auxiliary lemma

Branches

Unknown

Tags

Unknown

Event Timeline

florian.haftmann committed rISABELLEf58ad163bb75: putting together related theorems.Sep 12 2022, 10:07 AM

Changes (3)

Path

Size

src/

HOL/

Computational_Algebra/

Normalized_Fraction.thy

Polynomial_Factorial.thy

rISABELLEf58ad163bb75

src/HOL/Computational_Algebra/Normalized_Fraction.thy

Loading...

src/HOL/Computational_Algebra/Polynomial.thy

Loading...

src/HOL/Computational_Algebra/Polynomial_Factorial.thy

Loading...