Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-10-16 18:01 686b3635

View on Github →

feat(analysis/normed/group/SemiNormedGroup/kernels): add kernels (#9711) From LTE.

Estimated changes