Theorem ExpGrowth.expGrowthSup_inv

Modification history