Theorem Algebra.isAlgebraic_iff

Modification history