Theorem Real.log_inv

Modification history