HomeIsabelle/Phabricator
Diffusion afp-devel 95ca3e871eb7

moved lemmas
95ca3e871eb7
Actions

Description

moved lemmas

Details

Provenance
Rene Thiemann <rene.thiemann@uibk.ac.at>Authored on
Parents
rAFP306f9dbda4f6: proper indentation
Branches
Unknown
Tags
Unknown

Event Timeline

Rene Thiemann <rene.thiemann@uibk.ac.at> committed rAFP95ca3e871eb7: moved lemmas.Jan 8 2021, 11:29 AM

Changes (2)

PathSize
thys/
Berlekamp_Zassenhaus/
Polynomial_Factorization/

rAFP95ca3e871eb7

View Options

thys/Berlekamp_Zassenhaus/Square_Free_Factorization_Int.thy

Loading...
View Options

thys/Polynomial_Factorization/Gauss_Lemma.thy

Loading...