# Commit 2019-02-06 09:59 c82243a8

View on Github →feat(analysis/normed_space): bounded linear maps with the operator norm form a normed space (closes #680)

Mathlib v3 is deprecated. Go to Mathlib v4

feat(analysis/normed_space): bounded linear maps with the operator norm form a normed space (closes #680)