Commit 2022-02-23 12:32 d01b55f1
View on Github →split(analysis/functional/gauge): Split off analysis.seminorm
(#12054)
Move the Minkowski functional to a new file analysis.convex.gauge
.
split(analysis/functional/gauge): Split off analysis.seminorm
(#12054)
Move the Minkowski functional to a new file analysis.convex.gauge
.