HomeIsabelle/Phabricator

moved lemmas such that algebraic numbers theory is not importing factorization…

Description

moved lemmas such that algebraic numbers theory is not importing factorization algorithm

Details

Provenance
Rene Thiemann <rene.thiemann@uibk.ac.at>Authored on
Parents
rAFP95ca3e871eb7: moved lemmas
Branches
Unknown
Tags
Unknown