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.
feat(analysis/calculus/times_cont_diff): inversion is smooth (#3639) At an invertible element of a complete normed algebra, the inversion operation is smooth.