Theorem IsAlgebraic.of_pow

Modification history