Theorem Algebra.isAlgebraic_adjoin_of_nonempty

Modification history