HomeIsabelle/Phabricator

generalized gt_rat_sign_change to square-free polynomials

Description

generalized gt_rat_sign_change to square-free polynomials

Details

Provenance
Rene Thiemann <rene.thiemann@uibk.ac.at>Authored on
Parents
rAFPf9d3e8ed8c17: minor updates to bibliography
Branches
Unknown
Tags
Unknown