Theorem ApproximatesLinearOn.closedBall_subset_target

Modification history