Theorem ExpGrowth.expGrowthSup_pow

Modification history