Theorem Algebra.isAlgebraic_of_finite

Modification history