Theorem Algebra.IsIntegral.isAlgebraic

Modification history