Theorem ExpGrowth.expGrowthInf_mul_le'

Modification history