Theorem Seminorm.continuous_finsetSup

Modification history

2026-06-11 01:51
Mathlib/Analysis/Seminorm.lean
feat: Analytic Hahn Banach theorem for locally convex spaces (#38739) …
Added Seminorm.continuous_finsetSupView on Github →