Theorem Real.pow_div_factorial_le_exp

Modification history