Theorem isAlgebraic_algebraMap_of_isAlgebraic

Modification history