Theorem ExpGrowth.expGrowthInf_inv

Modification history