Theorem ApproximatesLinearOn.to_inv

Modification history