Theorem Asymptotics.IsBigO.const_smul_self

Modification history