Theorem Algebra.IsAlgebraic.trans_isIntegral

Modification history