Mathlib v3 is deprecated. Go to Mathlib v4

Theorem gauge_neg_set_eq_gauge_neg

Modification history

2022-10-27 05:32
src/analysis/convex/gauge.lean
feat(analysis/normed_space/hahn_banach/separation): generalize to (locally convex) topological vector spaces (#16796)
Added gauge_neg_set_eq_gauge_negView on Github →