Theorem Real.log_sqrt

Modification history