Commit 2024-06-19 13:47 63b99cae

View on Github →

feat: f⁻¹ is continuous iff f is (#13951) ... and similar results for lipschitzness. From LeanCamCombi

Estimated changes