Theorem Real.exists_rat_pow_btwn_rat_aux

Modification history