Theorem isIntegral_of_pow

Modification history