Theorem Seminorm.continuous_finsetSum

Modification history

2026-06-25 07:54
Mathlib/Analysis/Seminorm.lean
chore: remove unused instances (#41013) …
Modified Seminorm.continuous_finsetSumView on Github →
2026-06-11 01:51
Mathlib/Analysis/Seminorm.lean
feat: Analytic Hahn Banach theorem for locally convex spaces (#38739) …
Added Seminorm.continuous_finsetSumView on Github →