# Commit 2020-08-02 03:20 fc65ba0d

View on Github →feat(analysis/calculus/times_cont_diff): inversion is smooth (#3639) At an invertible element of a complete normed algebra, the inversion operation is smooth.

Mathlib v3 is deprecated. Go to Mathlib v4

feat(analysis/calculus/times_cont_diff): inversion is smooth (#3639) At an invertible element of a complete normed algebra, the inversion operation is smooth.