Theorem Asymptotics.isTheta_const_smul_right

Modification history