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
feat: f⁻¹
is continuous iff f
is (#13951)
... and similar results for lipschitzness.
From LeanCamCombi