Theorem Algebra.isAlgebraic_adjoin_singleton_iff

Modification history