Theorem ExpGrowth.expGrowthInf_pow

Modification history