Theorem isAlgebraic_of_larger_base

Modification history