Theorem Real.rpow_left_injOn

Modification history