Mathlib v3 is deprecated. Go to Mathlib v4

Theorem seminorm.sup_apply

Modification history

2022-02-21 00:51
src/analysis/seminorm.lean
feat(analysis/seminorm): smul_sup (#12103) …
Added seminorm.sup_applyView on Github →