Theorem Algebra.isAlgebraic_trans

Modification history