Theorem Subalgebra.isAlgebraic_iff

Modification history