Theorem Algebra.IsIntegral.trans_isAlgebraic

Modification history