Theorem Algebra.isAlgebraic_adjoin_iff

Modification history