Theorem Real.log_surjective

Modification history