Theorem isAlgebraic_rat

Modification history