Theorem ApproximatesLinearOn.mono_num

Modification history