Theorem isAlgebraic_zero

Modification history