Theorem Asymptotics.IsTheta.trans_isBigO

Modification history