Theorem Real.isTheta_exp_comp_one

Modification history