Theorem ApproximatesLinearOn.surjOn_closedBall_of_nonlinearRightInverse

Modification history