Theorem isAlgebraic_of_pow

Modification history