Theorem Function.FactorizedRational.extractFactor

Modification history