Theorem IsIntegral.isAlgebraic

Modification history