Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2023-07-27 10:40 fe18deda

View on Github →

feat(analysis/normed_space/continuous_linear_map): generalize typeclass assumptions (#19108)

Estimated changes