Theorem Real.rpow_lt_one_iff_of_pos

Modification history