Commit 2021-11-03 16:10 4f033b7d
View on Github →feat(analysis/seminorm): define the Minkowski functional (#9097) This defines the gauge of a set, aka the Minkowski functional, in a vector space over a real normed field.
feat(analysis/seminorm): define the Minkowski functional (#9097) This defines the gauge of a set, aka the Minkowski functional, in a vector space over a real normed field.