Theorem ExpGrowth.frequently_exp_le

Modification history