Theorem Function.FactorizedRational.finprod_eq_fun

Modification history