Theorem isAlgebraic_int

Modification history