Theorem Real.rpow_left_inj

Modification history